diff --git a/doc/makedefs.txt b/doc/makedefs.txt index 8d6c85bc1..d1877e057 100644 --- a/doc/makedefs.txt +++ b/doc/makedefs.txt @@ -26,15 +26,8 @@ SHORT COMMANDS -d Generate data.base. - -e Generate dungeon.pdf. The input file dungeon.def is passed - through the same logic as that used by the --grep command; see - the MDGREP FUNCTIONS section below for details. - - -c Generate date.h and options file. It will read dat/gitinfo.txt, + -v Generate date.h and options file. It will read dat/gitinfo.txt, only if it is present, to obtain githash= and gitbranch= - info and include related preprocessor #defines in date.h file. - only if it is present, to obtain githash= and gitbranch= - info and include related preprocessor #defines in date.h file. -p Generate pm.h @@ -42,8 +35,6 @@ SHORT COMMANDS -s Generate the bogusmon , engrave and epitaphfiles. - -s Generate the bogusmon , engrave and epitaphfiles. - -h Generate the oracles file. -z Generate vis_tab.c and vis_tab.h.