nethack-gwaa-kiwi/nethack
1
0
Fork 0
Code Pull Requests Activity

Guidebook datestamping

Browse Source 
Allow the hints file to apply a correct timestamp to
the Guidebooks prior to use.

Detect the NH_DATESUB in the Guidebook.mn or Guidebook.tex
files and replace the datestamping line that follows.

If git is available, it determines the hash of the last commit
applied to doc/Guidebook.mn, and then determines the date of
that commit.  The interim Guidebook.dated.mn (or
Guidebook.dated.tex) gets the datestamp applied.

If git isn't available or doesn't correctly provide the hash
for doc/Guidebook.mn, it should just continue to use whatever
hard-coded date in the Guidebook.mn source file (it uses it
instead of the interim file).
This commit is contained in:
nhmall
2022-06-18 10:29:15 -04:00
parent 304888c99f
commit 98a4673a0c
7 changed files with 66 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
doc/.gitignore vendored
View File

@@ -12,5 +12,6 @@ Guidebook.dvi
Guidebook.log
Guidebook.pdf
Guidebook.ps
Guidebook.dated.*
*.synctex.*