Lines Matching full:infodir
73 am__installdirs = "$(DESTDIR)$(infodir)" "$(DESTDIR)$(man1dir)"
213 infodir = @infodir@
350 @if test -d '$(DESTDIR)$(infodir)' && \
356 echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \
357 if install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \
358 then :; else test ! -f "$(DESTDIR)$(infodir)/$$relfile" || exit 1; fi; \
366 (if test -d "$(DESTDIR)$(infodir)" && cd "$(DESTDIR)$(infodir)"; then \
367 echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]"; \
671 for dir in "$(DESTDIR)$(infodir)" "$(DESTDIR)$(man1dir)"; do \
771 test -z "$(infodir)" || $(MKDIR_P) "$(DESTDIR)$(infodir)"
773 list='$(INFO_DEPS)'; test -n "$(infodir)" || list=; \
788 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(infodir)'"; \
789 $(INSTALL_DATA) $$files "$(DESTDIR)$(infodir)" || exit $$?; done
798 list='$(INFO_DEPS)'; test -n "$(infodir)" || list=; \
801 echo " install-info --info-dir='$(DESTDIR)$(infodir)' '$(DESTDIR)$(infodir)/$$relfile'";\
802 install-info --info-dir="$(DESTDIR)$(infodir)" "$(DESTDIR)$(infodir)/$$relfile" || :;\
