diff --git a/gnu/usr.bin/texinfo/Makefile.inc b/gnu/usr.bin/texinfo/Makefile.inc
index 9ee8dae55426..a5dfdf804459 100644
--- a/gnu/usr.bin/texinfo/Makefile.inc
+++ b/gnu/usr.bin/texinfo/Makefile.inc
@@ -1,4 +1,3 @@
 # Texinfo defaults.
-# $Id: Makefile.inc,v 1.3 1995/07/08 16:45:49 joerg Exp $
+# $Id: Makefile.inc,v 1.4 1995/07/16 10:23:51 joerg Exp $
 
-INFODIR?= /usr/share/info