Jacob 223f81dc90 Fix dist_release function call in Make script.		2024-05-17 23:54:24 +02:00
..
docpp_make	Fix dist_release function call in Make script.	2024-05-17 23:54:24 +02:00
generate_manifest	Change the shell, for better compatibility.	2024-05-14 19:21:13 +02:00