Lines Matching refs:install
69 # Files which should be generated via 'info' and installed by 'install-info'
158 install-info: $(INFO_DEPS)
171 @if $(SHELL) -c 'install-info --version | sed 1q | fgrep -s -v -i debian' >/dev/null 2>&1; then \
174 echo " install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$$file";\
175 install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$$file || :;\
181 @if $(SHELL) -c 'install-info --version | sed 1q | fgrep -s -v -i debian' >/dev/null 2>&1; then \
187 || install-info --info-dir=$(DESTDIR)$(infodir) --remove $$file; \
195 install-html: html
488 install: install-info