diff options
Diffstat (limited to 'doc/.gitignore')
| -rw-r--r-- | doc/.gitignore | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 5accfef..9ee2af2 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,4 +1,5 @@ -odb.xhtml -odb.1 +/odb.1 +/odb.xhtml + *.ps *.pdf |