diff options
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 |