Import texinfo.tex from texinfo-4.0.

Add support for ``make pdf'' to the gdb/doc directory using pdftex.

1 files changed, 33 insertions, 3 deletions

diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in
index ad3787ebe2..025c20ed68 100644
--- a/gdb/doc/Makefile.in
+++ b/gdb/doc/Makefile.in
@@ -92,6 +92,9 @@ TEXINDEX = texindex
 # Program to generate Postscript files from DVI files.
 DVIPS = dvips
 
+# Program to generate PDF files from tex files.
+PDFTEX = pdftex
+
 # Main GDB manual's source files
 SFILES_INCLUDED = gdb-cfg.texi $(srcdir)/annotate.texi
 
@@ -109,7 +112,8 @@ info: gdb.info gdbint.info stabs.info
 dvi: gdb.dvi gdbint.dvi stabs.dvi refcard.dvi
 ps: gdb.ps gdbint.ps stabs.ps refcard.ps
 html: gdb_toc.html gdbint_toc.html stabs_toc.html
-all-doc: info dvi ps
+pdf: gdb.pdf gdbint.pdf stabs.pdf
+all-doc: info dvi ps # pdf
 diststuff: info
 
 install-info: info
@@ -130,7 +134,7 @@ install-html: html
 		$(INSTALL_DATA) $$i $(htmldir)/$$i ; \
 	done
 
-STAGESTUFF = *.info* gdb-all.texi GDBvn.texi *.ps *.dvi
+STAGESTUFF = *.info* gdb-all.texi GDBvn.texi *.ps *.dvi *.pdf
 
 # Copy the object files from a particular stage into a subdirectory.
 stage1: force
@@ -181,7 +185,7 @@ distclean: clean
 # "clean" or "distclean".  Use maintainer-clean to remove them.
 
 maintainer-clean realclean: distclean
-	rm -f GDBvn.texi *.info* *.dvi *.ps *.html
+	rm -f GDBvn.texi *.info* *.dvi *.ps *.html *.pdf
 
 # GDB QUICK REFERENCE (dvi output)
 refcard.dvi : refcard.tex $(REFEDITS)
@@ -243,6 +247,18 @@ gdb.dvi: ${SFILES_DOC}
 gdb.ps: gdb.dvi
 	$(DVIPS) -o $@ $?
 
+gdb.pdf: ${SFILES_DOC}
+	if [ ! -f ./GDBvn.texi ]; then \
+		(test "$$LN_S" = "ln -s" && ln -s $(srcdir)/GDBvn.texi .) || \
+		ln $(srcdir)/GDBvn.texi . || \
+		cp $(srcdir)/GDBvn.texi . ; else true; fi
+	$(SET_TEXINPUTS) $(PDFTEX) gdb.texinfo
+	$(SET_TEXINPUTS) $(PDFTEX) gdb.texinfo
+	$(TEXINDEX) gdb.??
+	$(SET_TEXINPUTS) $(PDFTEX) gdb.texinfo
+	rm -f gdb.aux gdb.cp* gdb.fn* gdb.ky* gdb.log gdb.pg* gdb.toc \
+		gdb.tp* gdb.vr*
+
 # GDB MANUAL: info file
 # We're using texinfo 3.12; older makeinfo's may not be able to
 # cope with all the markup.  
@@ -370,6 +386,13 @@ gdbint.dvi : gdbint.texinfo
 gdbint.ps : gdbint.dvi
 	$(DVIPS) -o $@ $?
 
+gdbint.pdf: gdbint.dvi
+	$(SET_TEXINPUTS) $(PDFTEX) gdbint.texinfo
+	$(TEXINDEX) gdbint.??
+	$(SET_TEXINPUTS) $(PDFTEX) gdbint.texinfo
+	rm -f gdbint.aux gdbint.cp* gdbint.fn* gdbint.ky* \
+		gdbint.log gdbint.pg* gdbint.toc gdbint.tp* gdbint.vr*
+
 # GDB INTERNALS MANUAL: info file
 
 gdbint.info: gdbint.texinfo
@@ -399,6 +422,13 @@ stabs.dvi : stabs.texinfo
 stabs.ps: stabs.dvi
 	$(DVIPS) -o $@ $?
 
+stabs.pdf: stabs.dvi
+	$(SET_TEXINPUTS) $(PDFTEX) stabs.texinfo
+	$(TEXINDEX) stabs.??
+	$(SET_TEXINPUTS) $(PDFTEX) stabs.texinfo
+	rm -f stabs.aux stabs.cp* stabs.fn* stabs.ky* \
+		stabs.log stabs.pg* stabs.toc stabs.tp* stabs.vr*
+
 force:
 
 Makefile: Makefile.in $(host_makefile_frag) $(target_makefile_frag) config.status