-
-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}/${PACKAGE}*.html ${DESTDIR}${htmldir}
+ ${INSTALL_DATA} ${srcdir}/${PACKAGE}.dvi ${DESTDIR}${dvidir}/${PACKAGE}.dvi