diff options
author | K. Richard Pixley <rich@cygnus> | 1991-12-11 04:15:50 +0000 |
---|---|---|
committer | K. Richard Pixley <rich@cygnus> | 1991-12-11 04:15:50 +0000 |
commit | c466cfab84cc207ed3bc487128dd77d26187b47a (patch) | |
tree | 022f2ba5701a2328b313ea01f6e72e6bf4b1fb6f /Makefile.in | |
parent | e152cd1e65e81722e0e546f12bd9b280edabe730 (diff) | |
download | gdb-c466cfab84cc207ed3bc487128dd77d26187b47a.zip gdb-c466cfab84cc207ed3bc487128dd77d26187b47a.tar.gz gdb-c466cfab84cc207ed3bc487128dd77d26187b47a.tar.bz2 |
infodir belongs in datadir
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/Makefile.in b/Makefile.in index 4c4d8c6..66183c7 100644 --- a/Makefile.in +++ b/Makefile.in @@ -34,7 +34,7 @@ man6dir = $(mandir)/man6 man7dir = $(mandir)/man7 man8dir = $(mandir)/man8 man9dir = $(mandir)/man9 -infodir = $(prefix)/info +infodir = $(datadir)/info includedir = $(prefix)/include docdir = $(datadir)/doc @@ -1430,14 +1430,9 @@ install-info-dirs: force if [ -d $$i ] ; then true ; else mkdir $$i ; fi ; \ done -install-dir.info-in-place: force - rdir=`cd $(srcdir)/texinfo ; pwd` \ - && cd $(infodir) \ - && ($${rdir}/gen-info-dir `pwd`) > dir - dir.info: force -# $(srcdir)/texinfo/gen-info-dir . > dir.info.new -# mv -f dir.info.new dir.info + $(srcdir)/texinfo/gen-info-dir $(infodir) > dir.info.new + mv -f dir.info.new dir.info etags tags: TAGS |