Numerous minor changes required to transition to the latest version

of texinfo and TeX.  This version of the tools can produce PDF with
figures included.

doc/rgdb_specs/Makefile

@@ -10,7 +10,7 @@ PROJECT=rgdb_specs
 
 include ../Make.config
 
-all: html info ps
+all: html info ps pdf
 
 dirs:
 	$(make-dirs)
@@ -34,6 +34,11 @@ $(PROJECT): $(FILES)
 
 dvi: $(PROJECT).dvi
 ps: dirs $(PROJECT).ps
+pdf: dirs $(PROJECT).pdf
+	
+$(PROJECT).pdf: $(FILES)
+	$(TEXI2PDF) $(PROJECT).texi
+	cp $(PROJECT).pdf $(PDF_INSTALL)
 	
 $(PROJECT).ps: $(PROJECT).dvi
 	dvips -o $(PROJECT).ps $(PROJECT).dvi
@@ -51,7 +56,7 @@ html: dirs $(FILES)
  	    $(PROJECT).texi
 
 clean:
-	rm -f *.o $(PROG) *.txt core 
+	rm -f *.o $(PROG) *.txt core *.pdf
 	rm -f *.dvi *.ps *.log *.aux *.cp *.fn *.ky *.pg *.toc *.tp *.vr $(BASE)
 	rm -f $(PROJECT) $(PROJECT)-* $(GENERATED_FILES)
 	rm -f *.fixed _* 

doc/rgdb_specs/rgdb_specs.texi

@@ -1,4 +1,4 @@
-\input ../texinfo/texinfo   @c -*-texinfo-*-
+\input texinfo   @c -*-texinfo-*-
 @c %**start of header
 @setfilename rgdb_specs
 @syncodeindex vr fn