minor 8.0.2 version history item edit
===GT=== #3781
update .gitignore to ignore directory for locally-made manual version
8.0.3
debian 7.0 (wheezy) added to manual
===GT=== #3665
Merge branch 'V8_0_2-branch' into V8_0-branch
Merge branch 'V8_0-branch'