--- doc/Makefile.orig	2018-01-06 17:09:29 UTC
+++ doc/Makefile
@@ -7,7 +7,7 @@ clean:
 	rm -f *.info
 
 %.info: %.texinfo
-	makeinfo --no-split $<
+	${LOCALBASE}/bin/makeinfo --no-split $<
 
 %.html: %.texinfo
-	makeinfo --html --no-split $<
+	${LOCALBASE}/bin/makeinfo --html --no-split $<
