Update .gitignore

Update .gitignore to reflect the new target dir of the generated documentation.
`./koch doc` now writes the documentation to `doc/html/...`
This commit is contained in:
Axel Pahl 2016-11-08 09:08:42 +01:00 • committed by GitHub
commit 2f48dbd166

1
.gitignore vendored
View file

@ -21,6 +21,7 @@ tags
install.sh install.sh
deinstall.sh deinstall.sh
doc/html/
doc/*.html doc/*.html
doc/*.pdf doc/*.pdf
doc/*.idx doc/*.idx