diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2020-06-06 22:42:16 +0300 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2021-09-20 16:06:46 +0200 |
commit | 2181ec73117f2e18cc622ead6256c8104b631214 (patch) | |
tree | c9d1bb2a8d3140b6cc6dd162be8129f14e38a717 /cli/doc/.gitignore | |
parent | a599248e9dfab9f5d57c06bed56f75941cb00047 (diff) |
Use ad hoc recipe for parsing code and documentation generating
The overall approach is to store pre-generated bootstrap options.?xx
and cli.{1,xhtml} and automatically update them in the development
build (config.cli.develop=true). See README.md in the root of the
repository for details.
Diffstat (limited to 'cli/doc/.gitignore')
-rw-r--r-- | cli/doc/.gitignore | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/cli/doc/.gitignore b/cli/doc/.gitignore index 562ecbd..93bbd2d 100644 --- a/cli/doc/.gitignore +++ b/cli/doc/.gitignore @@ -1,2 +1,5 @@ -cli.xhtml -cli.1 +*.ps +*.pdf + +/cli.xhtml +/cli.1 |