diff options
| author | David D. Zuhn <zoo@cygnus> | 1993-06-18 01:00:13 +0000 |
|---|---|---|
| committer | David D. Zuhn <zoo@cygnus> | 1993-06-18 01:00:13 +0000 |
| commit | 981dfa40c770a0af9f2ca7c3b92ff91f2339fbbd (patch) | |
| tree | d84b3256382435e588b6db1b38e9f69627e66138 /gdb/doc/Makefile.in | |
| parent | c8fee4a53e809f4be38948d22f33dd0467cbcc9d (diff) | |
| download | gdb-981dfa40c770a0af9f2ca7c3b92ff91f2339fbbd.zip gdb-981dfa40c770a0af9f2ca7c3b92ff91f2339fbbd.tar.gz gdb-981dfa40c770a0af9f2ca7c3b92ff91f2339fbbd.tar.bz2 | |
remove parentdir support
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 2b4ef60..c8adafe 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -73,9 +73,6 @@ dvi: gdb.dvi refcard.dvi gdbint.dvi all-doc: gdb.info gdb.dvi refcard.dvi gdb-internals gdbint.dvi install-info: info - -parent=`echo $(infodir)|sed -e 's@/[^/]*$$@@'`; \ - if [ -d $$parent ] ; then true ; else mkdir $$parent ; fi - -if [ -d $(infodir) ] ; then true ; else mkdir $(infodir) ; fi for i in *.info* ; do \ $(INSTALL_DATA) $$i $(infodir)/$$i ; \ done |