update .gitignore to ignore directories housing locally made versions of
the html manual
Merge branch 'V8_2_0-branch' into V8_2-branch
1st set of updates to use the new \SubmitCmd macro correctly, as it now
autogenerates index entries. #4378
Merge branch 'V8_2-branch'