diff options
| author | John Gilmore <gnu@cygnus> | 1993-02-04 06:00:41 +0000 |
|---|---|---|
| committer | John Gilmore <gnu@cygnus> | 1993-02-04 06:00:41 +0000 |
| commit | 24b88ae80144e7824a48513a961299edef95229d (patch) | |
| tree | ee0c127398f2962527deb390eb0bb0b28e6c4f6d /gdb/Makefile.in | |
| parent | 264c57901003d82d58963722766f086c85e06c74 (diff) | |
| download | gdb-24b88ae80144e7824a48513a961299edef95229d.zip gdb-24b88ae80144e7824a48513a961299edef95229d.tar.gz gdb-24b88ae80144e7824a48513a961299edef95229d.tar.bz2 | |
Makeinfo now works again; remove kludge.
Diffstat (limited to 'gdb/Makefile.in')
| -rw-r--r-- | gdb/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/Makefile.in b/gdb/Makefile.in index 4d0c018..1ec2b41 100644 --- a/gdb/Makefile.in +++ b/gdb/Makefile.in @@ -664,7 +664,7 @@ gdb.dvi: # GDB MANUAL: info file gdb.info: - -( cd ./doc; $(MAKE) gdb.info $(FLAGS_TO_PASS) ) + ( cd ./doc; $(MAKE) gdb.info $(FLAGS_TO_PASS) ) mv ./doc/gdb.info* . # Make copying.c from COPYING |