diff options
| author | David D. Zuhn <zoo@cygnus> | 1993-03-24 22:07:34 +0000 |
|---|---|---|
| committer | David D. Zuhn <zoo@cygnus> | 1993-03-24 22:07:34 +0000 |
| commit | 6a962504cba2848d07d78103d396a65baff3d0a3 (patch) | |
| tree | 41371d8bf30a12cd1c72f37bc6568d298c6fb6c3 /gdb/doc/Makefile.in | |
| parent | b396a969dd3b074b341c316322db124f7ffb1cb5 (diff) | |
| download | gdb-6a962504cba2848d07d78103d396a65baff3d0a3.zip gdb-6a962504cba2848d07d78103d396a65baff3d0a3.tar.gz gdb-6a962504cba2848d07d78103d396a65baff3d0a3.tar.bz2 | |
add dvi target
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 6188db2..74143b4 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -67,6 +67,7 @@ SFILES_DOC = $(SFILES_LOCAL) \ all install: info: gdb.info gdbint.info stabs.info +dvi: gdb.dvi refcard.dvi gdbint.dvi all-doc: gdb.info gdb.dvi refcard.dvi gdb-internals gdbint.dvi install-info: info |