diff options
| author | merakor <cem@ckyln.com> | 2020-12-24 13:08:32 +0000 |
|---|---|---|
| committer | merakor <cem@ckyln.com> | 2020-12-24 13:08:32 +0000 |
| commit | 70a32fc9b0969fc9ee8c5e2ea6077d08ae304dbe (patch) | |
| tree | af2a77f4c78612da91880bdf5c93afd8a427f0a1 /install.do | |
| parent | c847ccf03d8d5e16e5095de8a1f0f06db6d64e0e (diff) | |
| download | cpt-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 'install.do')
| -rw-r--r-- | install.do | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -14,3 +14,12 @@ for man in man/*.1; do cp "$man" "${DESTDIR}${MAN1}/${man##*/}" chmod 644 "${DESTDIR}${MAN1}/${man##*/}" done + +# Install the documentation info page. +# We don't want to bother if the info page wasn't created, just exit without an +# error. +[ -f docs/cpt.info ] || exit 0 + +mkdir -p "${DESTDIR}${INFODIR}" +cp docs/cpt.info "${DESTDIR}${INFODIR}/cpt.info" +chmod 644 "${DESTDIR}${INFODIR}/cpt.info" |