diff options
| -rw-r--r-- | make.texinfo | 2 |
1 files changed, 1 insertions, 1 deletions
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} |