Lines Matching refs:html
764 @echo ' html - make html documentation'
778 @echo ' install-html - install html documentation'
784 @echo ' quick-install-html - install the html documentation quickly'
796 html:
797 $(MAKE) -C Documentation html
875 install-html:
876 $(MAKE) -C Documentation install-html
890 quick-install-html:
891 $(MAKE) -C Documentation quick-install-html