all: assorted cleanups; introduce undocumented '--sysinfo' option

2023-10-05 03:51:27 +02:00
parent 7f9d381c7b
commit 632c7c4826
30 changed files with 498 additions and 339 deletions
@@ -6,10 +6,10 @@
 /maint*
 /vendor*

-GNUmakefile
-MMakefile
+GNUmakefile*
+MMakefile*
 Makevars.local*
-compile_flags.txt
+compile_flags*.txt
 Tmp*
 tmp*