Alejandro González 34fba57011 Use standard POSIX shell for manual generation script ... No bashisms are needed here, so target portability accross Unix systems.		2024-11-23 13:43:18 +01:00
..
compare.sh	V9 Change log and read me (#559)	2023-10-11 08:17:58 +13:00
manual.sh	Use standard POSIX shell for manual generation script	2024-11-23 13:43:18 +01:00