diff options
| author | John Gilmore <gnu@cygnus> | 1992-08-16 08:20:01 +0000 |
|---|---|---|
| committer | John Gilmore <gnu@cygnus> | 1992-08-16 08:20:01 +0000 |
| commit | 612dbd4c05a4b067b654c2c145e395c90bca6a11 (patch) | |
| tree | 17802f17c0c2a71c4bd8f1079cd805481c5d6e7c /gdb/doc/Makefile.in | |
| parent | e505224db3ff2e06deb6d6768dc2334dcbe43669 (diff) | |
| download | gdb-612dbd4c05a4b067b654c2c145e395c90bca6a11.zip gdb-612dbd4c05a4b067b654c2c145e395c90bca6a11.tar.gz gdb-612dbd4c05a4b067b654c2c145e395c90bca6a11.tar.bz2 | |
* stabs.texinfo: Minor updates from running TeX over it.
* Makefile.in (stabs.dvi, stabs.ps): Add.
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 0f4bdd8..0790627 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -85,7 +85,7 @@ CONFIG=all all install: -info: gdb.info gdbint.info +info: gdb.info gdbint.info stabs.info all-doc: gdb.info gdb.dvi refcard.dvi gdb-internals gdbint.dvi clean-info: -rm -f *.info* @@ -297,6 +297,17 @@ gdbint.info: gdbint.texinfo stabs.info: stabs.texinfo $(MAKEINFO) -o stabs.info $(srcdir)/stabs.texinfo +# STABS DOCUMENTATION: TeX dvi file +stabs.dvi : stabs.texinfo + TEXINPUTS=${TEXIDIR}:.:$(srcdir):$$TEXINPUTS tex stabs.texinfo + texindex stabs.?? + TEXINPUTS=${TEXIDIR}:.:$(srcdir):$$TEXINPUTS tex stabs.texinfo + rm -f stabs.?? stabs.aux stabs.cps stabs.fns stabs.kys \ + stabs.log stabs.pgs stabs.toc stabs.tps stabs.vrs + +stabs.ps: stabs.dvi + dvips -o stabs.ps stabs + force: Makefile: $(srcdir)/Makefile.in $(host_makefile_frag) $(target_makefile_frag) |