diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2020-06-06 22:42:16 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2021-08-09 14:19:54 +0300 |
commit | 2d507c0f2e6ca663062f827d4c3dc3271edd353a (patch) | |
tree | 7e044002148bcf107fa3503b859817b8fa16c116 /cli/README-GIT | |
parent | fab7d03508109bffb23cde8f46ed19e3d9400308 (diff) |
Use ad hoc recipe for parsing code and documentation generating
Diffstat (limited to 'cli/README-GIT')
-rw-r--r-- | cli/README-GIT | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/cli/README-GIT b/cli/README-GIT new file mode 100644 index 0000000..5e76279 --- /dev/null +++ b/cli/README-GIT @@ -0,0 +1,7 @@ +If you plan to prepare the package distribution, then configure the project to +import cli, html2ps, and ps2pdf14 programs. This makes sure that the presence +of these programs is not optional anymore and thus the package distribution is +guaranteed to contain all the documentation files. For example: + +$ b configure: config.cli=.../cli config.html2ps=html2ps \ + config.ps2pdf14=ps2pdf14 |