default: local-doc

local-WWW-1: $(PDF_FILES)

local-WWW-2: $(HTML_FILES)

make-txt-files: $(TO_TOP_FILES)