aboutsummaryrefslogtreecommitdiff
path: root/config.rc
diff options
context:
space:
mode:
Diffstat (limited to 'config.rc')
-rw-r--r--config.rc22
1 files changed, 22 insertions, 0 deletions
diff --git a/config.rc b/config.rc
new file mode 100644
index 0000000..963e71e
--- /dev/null
+++ b/config.rc
@@ -0,0 +1,22 @@
+# -*- mode: redo -*-
+# See LICENSE for copyright information
+
+# This loads some functions that are shared between redo files.
+# shellcheck source=./lib.rc
+. "${SRC_ROOT:=.}/lib.rc"
+
+setv VERSION = 5.1.1
+
+# Paths
+setv PREFIX = /usr/local
+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"
+
+# Documentation tools
+setv EMACS = emacs
+setv MAKEINFO = makeinfo