]> www.ginac.de Git - cln.git/blobdiff - doc/Makefile.in
Prepare for autoconf-2.60.
[cln.git] / doc / Makefile.in
index 6430021970ab56db188c37ef2f3f32ee8c04d8c2..7639858abc6657848fd160d4eca9501e08e5915a 100644 (file)
@@ -9,14 +9,17 @@ srcdir = @srcdir@
 prefix = @prefix@
 local_prefix = /usr/local
 exec_prefix = @exec_prefix@
+datarootdir = @datarootdir@
 datadir = @datadir@
 infodir = @infodir@
 mandir = @mandir@
 htmldir = $(datadir)/html
 dvidir = $(datadir)/dvi
+DESTDIR =
 
 # Programs used by "make":
 RM = rm -f
+MKDIR = mkdir -p
 @SET_MAKE@
 
 # Programs used by "make" if you have changed the documentation files:
@@ -77,25 +80,31 @@ $(PACKAGE)_toc.html : $(srcdir)/$(PACKAGE).texi
        cd $(srcdir) && $(TEXI2HTML) -expandinfo -number -split_chapter $(PACKAGE).texi
 
 
-install : all force
-       if [ ! -d $(infodir) ] ; then mkdir $(infodir) ; fi
-       $(INSTALL_DATA) $(srcdir)/$(PACKAGE).info $(infodir)/$(PACKAGE).info
-       if [ ! -d $(datadir) ] ; then mkdir $(datadir) ; fi
-       if [ ! -d $(htmldir) ] ; then mkdir $(htmldir) ; fi
-       $(INSTALL_DATA) $(srcdir)/$(PACKAGE)_*.html $(htmldir)
-       if [ ! -d $(dvidir) ] ; then mkdir $(dvidir) ; fi
-       $(INSTALL_DATA) $(srcdir)/$(PACKAGE).dvi $(dvidir)/$(PACKAGE).dvi
+install : all installdirs force
+       $(INSTALL_DATA) $(srcdir)/$(PACKAGE).info $(DESTDIR)$(infodir)/$(PACKAGE).info
+       @if (install-info --version && \
+            install-info --version 2>&1 | sed 1q | fgrep -i -v debian) >/dev/null 2>&1; then \
+         echo " install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$(PACKAGE).info";\
+         install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$(PACKAGE).info || :;\
+       else : ; fi
+       $(INSTALL_DATA) $(srcdir)/$(PACKAGE)_*.html $(DESTDIR)$(htmldir)
+       $(INSTALL_DATA) $(srcdir)/$(PACKAGE).dvi $(DESTDIR)$(dvidir)/$(PACKAGE).dvi
 
 installdirs : force
-       if [ ! -d $(infodir) ] ; then mkdir $(infodir) ; fi
-       if [ ! -d $(datadir) ] ; then mkdir $(datadir) ; fi
-       if [ ! -d $(htmldir) ] ; then mkdir $(htmldir) ; fi
-       if [ ! -d $(dvidir) ] ; then mkdir $(dvidir) ; fi
+       $(MKDIR) $(DESTDIR)$(datadir)
+       $(MKDIR) $(DESTDIR)$(infodir)
+       $(MKDIR) $(DESTDIR)$(htmldir)
+       $(MKDIR) $(DESTDIR)$(dvidir)
 
 uninstall : force
-       $(RM) $(infodir)/$(PACKAGE).info
-       $(RM) $(htmldir)/$(PACKAGE)_*.html
-       $(RM) $(dvidir)/$(PACKAGE).dvi
+       @if (install-info --version && \
+            install-info --version 2>&1 | sed 1q | fgrep -i -v debian) >/dev/null 2>&1; then \
+         echo " install-info --info-dir=$(DESTDIR)$(infodir) --remove $(DESTDIR)$(infodir)/$(PACKAGE).info"; \
+         install-info --info-dir=$(DESTDIR)$(infodir) --remove $(DESTDIR)$(infodir)/$(PACKAGE).info; \
+       else :; fi
+       $(RM) $(DESTDIR)$(infodir)/$(PACKAGE).info
+       $(RM) $(DESTDIR)$(htmldir)/$(PACKAGE)_*.html
+       $(RM) $(DESTDIR)$(dvidir)/$(PACKAGE).dvi
 
 check : all