more Guidebook tweaks

Add a missing word to Guidebook.tex and add a couple of new sentences
to both Guidebook.{mn,tex}.

Also, add Guidebook.dat to .gitignore.
This commit is contained in:
PatR
2020-02-15 13:08:34 -08:00
parent f37dd40110
commit 998d8b1fd4
3 changed files with 30 additions and 4 deletions

4
doc/.gitignore vendored
View File

@@ -2,6 +2,10 @@
# 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