Update .gitignore
- the man stuff hasn't been needed since 0086c0a
- "runtime/doc/tags" is already covered by "tags"
This commit is contained in:
parent
48f67d3816
commit
980359c7f1
|
@ -60,8 +60,6 @@ local.mk
|
|||
|
||||
# runtime/doc
|
||||
/runtime/doc/*.html
|
||||
/runtime/doc/**/*.man
|
||||
/runtime/doc/tags
|
||||
/runtime/doc/tags.ref
|
||||
/runtime/doc/doctags
|
||||
/runtime/doc/errors.log
|
||||
|
|
Loading…
Reference in New Issue