gitignore: add doc/