diff options
| -rw-r--r-- | man/.gitignore | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/man/.gitignore b/man/.gitignore index 01b52c7053..fd0f0aa73a 100644 --- a/man/.gitignore +++ b/man/.gitignore @@ -1,19 +1,21 @@ *.aux +*.cp +*.cps +*.dvi *.fn *.fns -*.cps -*.cp -*.kys *.ky -*.toc -*.pgs -*.pg +*.kys *.log -*.vrs -*.vr -*.dvi +*.op +*.ops +*.pg +*.pgs *.ps +*.tmp +*.toc *.tp *.tps -*.tmp +*.vr +*.vrs Makefile |