Makefile
changeset 68 ce7aca59cb54
parent 66 be91c79007e9
child 85 0ff3715e6176
equal deleted inserted replaced
67:5166ffffd608 68:ce7aca59cb54
   115 .PHONY: distclean
   115 .PHONY: distclean
   116 distclean: clean
   116 distclean: clean
   117 
   117 
   118 .PHONY: clean
   118 .PHONY: clean
   119 clean:
   119 clean:
   120 	rm -f $(DICTDZ_FILES) $(INDEX_FILES)
   120 	rm -f $(DICTDZ_FILES) $(INDEX_FILES) $(HTML_FILES)
   121 
   121 
   122 ################################################################
   122 ################################################################
   123 # Helper target.
   123 # Helper target.
   124 
   124 
   125 .PHONY: help
   125 .PHONY: help