default: local-doc

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

make-txt-files: $(TO_TOP_FILES)