From 2276c37ae7557b6862d73b763625d599ba420fac Mon Sep 17 00:00:00 2001
From: Paul Smith <psmith@gnu.org>
Date: Wed, 24 Apr 2002 21:36:38 +0000
Subject: [PATCH] Add back initial "\" which was accidentally removed a year
 ago! :-/.

---
 make.texinfo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make.texinfo b/make.texinfo
index 736f6b0..8b30b5c 100644
--- 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}
-- 
2.7.4