update .gitignore to match new man page locations
Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
This commit is contained in:
parent
2d30dd6aad
commit
a60e2838e3
1 changed files with 6 additions and 1 deletions
7
.gitignore
vendored
7
.gitignore
vendored
|
@ -3,7 +3,12 @@
|
|||
|
||||
# Ignore generated manpages
|
||||
doc/man/.marker
|
||||
doc/man/man*/
|
||||
doc/man/man*/*.1
|
||||
doc/man/man*/*.7
|
||||
doc/man/man*/*.html
|
||||
doc/man/man*/*.xml
|
||||
# Ignore type manpages
|
||||
doc/man/man*/*__*.text
|
||||
|
||||
# Ignore cache for version control
|
||||
cache/
|
||||
|
|
Loading…
Reference in a new issue