diff --git a/mk/config.mk.in b/mk/config.mk.in
index d94ba3d99028aa2a43a06e71ce627af48de0e125..35ce354849598efb2bcb0eb9ad6d6ec571300660 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -402,6 +402,7 @@ MKDIRHIER_PREFIX	= $(GLAFP_UTILS)/mkdirhier/
 LITERATE	    	= $(FPTOOLS_TOP)/literate
 
 LITERATE_PREFIX    	= $(FPTOOLS_TOP)/literate/
+INFO_PREFIX    	        = $(FPTOOLS_TOP)/literate/info-utils/
 TEXI2HTML_PREFIX        = $(LITERATE_PREFIX)texi2html/
 
 HAPPY_PREFIX    	= $(FPTOOLS_TOP)/happy/src/