98a4673a0c
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).
18 lines
570 B
Plaintext
18 lines
570 B
Plaintext
# Guidebook without a suffix is usually a copy of Guidebook.txt. The
|
|
# latter is managed by git because it is part of the source distribution.
|
|
# We don't want both copies.
|
|
Guidebook
|
|
# Unpaginated copy of Guidebook.txt that might someday be used for help
|
|
# text to display within the game. If that happens and it gets added to
|
|
# the distribution, it will live in dat/ rather than doc/.
|
|
Guidebook.dat
|
|
# various intermediate files or generated output, not to be tracked.
|
|
Guidebook.aux
|
|
Guidebook.dvi
|
|
Guidebook.log
|
|
Guidebook.pdf
|
|
Guidebook.ps
|
|
Guidebook.dated.*
|
|
*.synctex.*
|
|
|