prefix = @prefix@
local_prefix = /usr/local
exec_prefix = @exec_prefix@
+datarootdir = @datarootdir@
datadir = @datadir@
infodir = @infodir@
mandir = @mandir@
# Programs used by "make":
RM = rm -f
+MKDIR = mkdir -p
@SET_MAKE@
# Programs used by "make" if you have changed the documentation files:
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 $(DESTDIR)$(datadir) ] ; then mkdir $(DESTDIR)$(datadir) ; fi
- if [ ! -d $(DESTDIR)$(infodir) ] ; then mkdir $(DESTDIR)$(infodir) ; fi
- if [ ! -d $(DESTDIR)$(htmldir) ] ; then mkdir $(DESTDIR)$(htmldir) ; fi
- if [ ! -d $(DESTDIR)$(dvidir) ] ; then mkdir $(DESTDIR)$(dvidir) ; fi
+ $(MKDIR) $(DESTDIR)$(datadir)
+ $(MKDIR) $(DESTDIR)$(infodir)
+ $(MKDIR) $(DESTDIR)$(htmldir)
+ $(MKDIR) $(DESTDIR)$(dvidir)
uninstall : force
+ @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