Added the html files to the commit in hopes that pathagar.info will function.

My plan is to run
git rm *html
at the very beginning of my docbook to html conversion toolchain and
git add *html at the end of it.
Then my hope is that each push to github will update the pathagar.info site.