diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2020-06-06 22:42:16 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2020-08-03 11:05:02 +0300 |
commit | aec14867cce71c5a5e849335fbec1f6e4f7068ea (patch) | |
tree | 465cb8fd088a6a4b6ecb4fcdc5b69eb881a27320 /cli/README-GIT | |
parent | f2fcd319a8a140eba983e2dfea8d81ad82f504f5 (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 |