diff options
Diffstat (limited to 'config.mk')
-rw-r--r-- | config.mk | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/config.mk b/config.mk new file mode 100644 index 0000000..b9fc5ec --- /dev/null +++ b/config.mk @@ -0,0 +1,13 @@ +VERSION = 2021.07 + +# System and build directories +PREFIX = /usr/local +SHAREDIR = ${PREFIX}/share +INFODIR = ${SHAREDIR}/info +DOCDIR = ${SHAREDIR}/doc +HTMLDIR = ./carbslinux + +EMACS = emacs --batch -l docs.el +MAKEINFO = makeinfo + +INSTALLSH = ./tools/install.sh |