update .gitignore to ignore directories housing locally made versions of
the html manual