default: local-doc

local-WWW: $(HTML_FILES) $(PDF_FILES) $(TO_TOP_FILES)