diff options
| author | Ian Lance Taylor <ian@airs.com> | 1992-08-18 21:59:59 +0000 |
|---|---|---|
| committer | Ian Lance Taylor <ian@airs.com> | 1992-08-18 21:59:59 +0000 |
| commit | c973953ae716e260af8ad1918ec126b992f5035a (patch) | |
| tree | c34440d841d31cd4d77119687e71d61f09444240 /gdb/doc/Makefile.in | |
| parent | 4bbefa86e21ee076577b3c098b70305163ec4d5b (diff) | |
| download | gdb-c973953ae716e260af8ad1918ec126b992f5035a.zip gdb-c973953ae716e260af8ad1918ec126b992f5035a.tar.gz gdb-c973953ae716e260af8ad1918ec126b992f5035a.tar.bz2 | |
Moved in from p3:
Tue Aug 18 14:53:27 1992 Ian Lance Taylor (ian@cygnus.com)
* Makefile.in: always create installation directories.
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 0790627..f47bfd4 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -91,6 +91,9 @@ clean-info: -rm -f *.info* 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 |