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

diff --git a/make.texinfo b/make.texinfo
index 736f6b0687b5be44f748e798757f5ebca0d946c3..8b30b5ca5ac8cfe5a0dbd85f274d16cba0ab17d6 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}