4 files changed, 20 insertions, 0 deletions
diff --git a/config.rc b/config.rc
index 4b3876e..cd0c8d8 100644
--- a/config.rc
+++ b/config.rc
@@ -22,6 +22,7 @@ setv BINDIR    = "${PREFIX}/bin"
 setv SHAREDIR  = "${PREFIX}/share"
 setv DOCDIR    = "${SHAREDIR}/doc"
 setv CPTDOC    = "${DOCDIR}/cpt"
+setv INFODIR   = "${SHAREDIR}/info"
 setv MANPREFIX = "${SHAREDIR}/man"
 setv MAN1      = "${MANPREFIX}/man1"
 
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"
         ;;
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"
diff --git a/uninstall.do b/uninstall.do
index d2f4585..3347874 100644
--- a/uninstall.do
+++ b/uninstall.do
@@ -1,9 +1,14 @@
 . ./config.rc
 
+# Remove executables.
 getbin | while read -r file; do
     rm -f "${DESTDIR}${BINDIR}/${file##*/}"
 done
 
+# Remove manual pages.
 for man in man/*.1; do
     rm -f "${DESTDIR}${MAN1}/${man##*/}"
 done
+
+# Remove the info page.
+rm -f "${DESTDIR}${INFODIR}/cpt.info"