mirror of
https://github.com/git/git
synced 2024-10-30 14:03:28 +00:00
doc: adding gitman.info and *.texi to .gitignore
Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
parent
5ada3696f6
commit
9501fc8945
1 changed files with 2 additions and 0 deletions
2
Documentation/.gitignore
vendored
2
Documentation/.gitignore
vendored
|
@ -2,7 +2,9 @@
|
||||||
*.html
|
*.html
|
||||||
*.[1-8]
|
*.[1-8]
|
||||||
*.made
|
*.made
|
||||||
|
*.texi
|
||||||
git.info
|
git.info
|
||||||
|
gitman.info
|
||||||
howto-index.txt
|
howto-index.txt
|
||||||
doc.dep
|
doc.dep
|
||||||
cmds-*.txt
|
cmds-*.txt
|
||||||
|
|
Loading…
Reference in a new issue