Add back initial "\" which was accidentally removed a year ago! :-/.

diff --git a/make.texinfo b/make.texinfo
index 736f6b0..8b30b5c 100644 (file)
--- a/make.texinfo
+++ b/make.texinfo
@@ -1,4 +1,4 @@
-input texinfo                @c -*- Texinfo -*-
+\input texinfo                @c -*- Texinfo -*-
 @c %**start of header
 @setfilename make.info
 @settitle GNU @code{make}