diff options
| author | Paul Smith <psmith@gnu.org> | 2002-04-24 21:36:38 +0000 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2002-04-24 21:36:38 +0000 |
| commit | 2276c37ae7557b6862d73b763625d599ba420fac (patch) | |
| tree | 0f28cf00094b06c8d8297db43049749723e26703 | |
| parent | 306462f0bd313d7db43f9843b60a5a8f1fa018d6 (diff) | |
| download | gunmake-2276c37ae7557b6862d73b763625d599ba420fac.tar.gz | |
Add back initial "\" which was accidentally removed a year ago! :-/.
| -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} |