1 files changed, 0 insertions, 3 deletions
diff --git a/manual/Makefile b/manual/Makefile
index ec1f3d8870..62217a2d7a 100644
--- a/manual/Makefile
+++ b/manual/Makefile
@@ -21,9 +21,6 @@ subdir := manual
 
 include ../Makeconfig
 
-# Allow override
-INSTALL_INFO = install-info
-
 .PHONY: dvi pdf info html
 
 dvi: $(objpfx)libc.dvi