Lines Matching refs:html
80 HTMLS = make.html
84 MAKEINFOHTML = $(MAKEINFO) --html
203 CLEANFILES = make*.html
207 .SUFFIXES: .dvi .html .info .pdf .ps .texi
270 .texi.html:
271 rm -rf $(@:.html=.htp)
273 -o $(@:.html=.htp) $<; \
276 if test ! -d $(@:.html=.htp) && test -d $(@:.html=); then \
277 mv $(@:.html=) $@; else mv $(@:.html=.htp) $@; fi; \
279 if test ! -d $(@:.html=.htp) && test -d $(@:.html=); then \
280 rm -rf $(@:.html=); else rm -Rf $(@:.html=.htp) $@; fi; \
286 make.html: make.texi $(srcdir)/version.texi $(make_TEXINFOS)
350 make.pdf make.ps make.html
439 html-am: $(HTMLS)
505 distclean distclean-generic distdir dvi dvi-am html html-am \
515 html: make_1.html
517 make_1.html: $(info_TEXINFOS) $(make_TEXINFOS)
520 .PHONY: html