Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
Remove empty plplotdoc-html.proc file that is generated by xmlto,
but which we don't want in the html manifest. Thanks to Orion Poplawski
for spotting this issue.
Tested by Alan W. Irwin <email@example.com> using
-DBUILD_DOCS=ON cmake option, and the html target.