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:
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