This is cron-daily v1-Apr-1-2024. 005manpages updated: makedefs.txt

2024-05-13 09:24:09 -04:00
parent 68169708dc
commit 8e6f3ccc7d
1 changed files with 7 additions and 1 deletions
--- a/doc/makedefs.txt
+++ b/doc/makedefs.txt
@@ -38,7 +38,13 @@ SHORT COMMANDS

       -q     Generate the rumors file.

-       -s     Generate the bogusmon , engrave and epitaphfiles.
+       -s     Generate the bogusmon , engrave and epitaph files.
+
+       -1     Generate the epitaph file.
+
+       -2     Generate the engrave file.
+
+       -3     Generate the bogusmon file.

       -h     Generate the oracles file.