summaryrefslogtreecommitdiff
path: root/cli/README-GIT
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2020-06-06 22:42:16 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2021-08-09 14:19:54 +0300
commit2d507c0f2e6ca663062f827d4c3dc3271edd353a (patch)
tree7e044002148bcf107fa3503b859817b8fa16c116 /cli/README-GIT
parentfab7d03508109bffb23cde8f46ed19e3d9400308 (diff)
Use ad hoc recipe for parsing code and documentation generating
Diffstat (limited to 'cli/README-GIT')
-rw-r--r--cli/README-GIT7
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