diff options
| author | Kai Großjohann <[email protected]> | 2002-07-15 12:06:01 +0000 |
|---|---|---|
| committer | Kai Großjohann <[email protected]> | 2002-07-15 12:06:01 +0000 |
| commit | 6747a521ac4796d6269fbbe590b5f8e701b82a9a (patch) | |
| tree | 39132190ad05433fcd42250a46dc05906a01416c | |
| parent | 5a95c143a534f0ecca8b533b0a40224bc3856811 (diff) | |
Ignore *.op and *.ops, too.
| -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 |