some documentation-related changes

add a command-line pdf option to Makefile for use in CI.
fix .tex file errors.

sys/unix/Makefile.doc

@@ -128,7 +128,8 @@ clean:
 	-rm -f Guidebook.aux Guidebook.log $(DOC_EXTRAS)
 
 spotless: clean
-	-rm -f Guidebook Guidebook.dat Guidebook.ps Guidebook.dvi
+	-rm -f Guidebook Guidebook.dat Guidebook.ps \
+		Guidebook.dvi $(DOC_SPOTLESS_EXTRAS)
 
 maintainer-clean: spotless
 	-rm -f $(DISTRIB)

sys/unix/Makefile.top

@@ -157,6 +157,9 @@ Guidebook:
 Guidebook.txt:
 	( cd doc ; $(MAKE) Guidebook.txt )
 
+Guidebook.pdf:
+	( cd doc ; $(MAKE) Guidebook.pdf )
+
 manpages:
 	( cd doc ; $(MAKE) manpages )
 

sys/unix/hints/include/gbdates-post.370

@@ -6,5 +6,9 @@ Guidebook.dated.mn: $(GUIDEBOOK_MN_SRC)
 Guidebook.dated.tex: $(GUIDEBOOK_TEX_SRC)
 	@awk 'f{$$0="\\date{$(GB_DATESTAMP)}";f=0}/NH_DATESUB/{f=1} 1' < $(GUIDEBOOK_TEX_SRC) > $@
 endif   # GB_DATESTAMP
+
+Guidebook.pdf: Guidebook.dated.tex
+	pdflatex -interaction=nonstopmode -jobname=Guidebook Guidebook.dated.tex
+	pdflatex -interaction=nonstopmode -jobname=Guidebook Guidebook.dated.tex
 endif   # MAKEFILE_DOC
 #

sys/unix/hints/include/gbdates-pre.370

@@ -11,6 +11,7 @@ ifneq "$(GB_DATESTAMP)" ""
 DOC_EXTRAS += Guidebook.dated.mn Guidebook.dated.tex
 override GUIDEBOOK_MN = Guidebook.dated.mn
 override GUIDEBOOK_TEX = Guidebook.dated.tex
+DOC_SPOTLESS_EXTRAS += Guidebook.pdf
 endif   # GB_DATESTAMP
 endif   # GIT=0 explicitly
 endif   # MAKEFILE_DOC