diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2022-09-08 16:26:08 +0300 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2022-09-12 20:19:13 +0300 |
| commit | efa2666ada7fcc7679ee8b6031d71855f46e5c6d (patch) | |
| tree | 2b6dbaf962a908cd3c67ff8958d20865ff2c2473 /doc/.gitignore | |
| parent | 4aa63bc7037cb6c6162eb014f00ddba5c677a169 (diff) | |
Use ad hoc recipes to compile options.cli file
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 |