1 files changed, 9 insertions, 0 deletions
diff --git a/install.do b/install.do
index cc11bd4..ae82131 100644
--- a/install.do
+++ b/install.do
@@ -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"