aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authormerakor <cem@ckyln.com>2020-12-24 13:08:32 +0000
committermerakor <cem@ckyln.com>2020-12-24 13:08:32 +0000
commit70a32fc9b0969fc9ee8c5e2ea6077d08ae304dbe (patch)
treeaf2a77f4c78612da91880bdf5c93afd8a427f0a1 /docs
parentc847ccf03d8d5e16e5095de8a1f0f06db6d64e0e (diff)
downloadcpt-70a32fc9b0969fc9ee8c5e2ea6077d08ae304dbe.tar.gz
cpt: add info page to the build system
- Made the info page an optional part of the build system, meaning that 'redo' will not attempt to build or install the info page if you don't have 'makeinfo' available on your system. - The info page is installed to the 'info/' directory relative to the $SHAREDIR. It can be overriden by setting the INFODIR variable. FossilOrigin-Name: 4df60a4d7dbaac4948453208251b1210974d931bfcf74b583cd862e9d28fd57c
Diffstat (limited to 'docs')
-rw-r--r--docs/default.do5
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/default.do b/docs/default.do
index a66ed9b..3519aec 100644
--- a/docs/default.do
+++ b/docs/default.do
@@ -8,6 +8,11 @@ case "$1" in
allclean) redo ../clean; rm -f cpt.texi ;;
info) redo-ifchange cpt.info cpt.texi cpt.org ;;
*.info)
+ # Don't bother if makeinfo doesn't exist on the system, exit with success.
+ if ! command -v $MAKEINFO; then
+ PHONY
+ exit 0
+ fi
redo-ifchange "$fn.texi"
$MAKEINFO "$fn.texi" -o "$3"
;;