.gitignore fixed to contain only doc/html and doc/man1