From 97312778a09decf65030e994e72ce07434ce0f07 Mon Sep 17 00:00:00 2001 From: merakor Date: Thu, 4 Feb 2021 14:30:43 +0000 Subject: cpt: switch back to 'make' FossilOrigin-Name: 048c099fa4155f31725c51c27b09359d7b04f4c2d7e64f2a2b381ab7dea7803d --- config.rc | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 config.rc (limited to 'config.rc') diff --git a/config.rc b/config.rc deleted file mode 100644 index 963e71e..0000000 --- a/config.rc +++ /dev/null @@ -1,22 +0,0 @@ -# -*- 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 -- cgit v1.2.3