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