EXTRA_DIST = $(docs) html
-CLEANFILES=$(pkg).ps $(pkg)*.html $(pkg).hhc $(pkg).hhp $(pkg).hhk $(pkg).bib $(pkg).zip \*.aux \*.log $(pkg).ilg $(pkg).ind $(pkg).pdf $(pkg).dvi \*~ \#\*~ \#\*\# \.\*~
+CLEANFILES=$(pkg).ps $(pkg)*.html $(pkg).hhc $(pkg).hhp $(pkg).hhk $(pkg).bib $(pkg).zip \*.aux \*.log $(pkg).ilg $(pkg).ind $(pkg).dvi \*~ \#\*~ \#\*\# \.\*~
all-local: htmlhelp html pdf