1 files changed, 5 insertions, 0 deletions
diff --git a/config.mk b/config.mk
index 4f1744e..7001625 100644
--- a/config.mk
+++ b/config.mk
@@ -1,4 +1,5 @@
 # See LICENSE for copyright information
+VERSION = 5.1.0
 
 # Paths
 PREFIX    = /usr/local
@@ -18,3 +19,7 @@ LIBS    = -lc
 # C compiler and linker
 CC = cc
 LD = ${CC}
+
+# Documentation tools
+EMACS = emacs
+MAKEINFO = makeinfo