diff options
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/flymake.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi index eb82ef04ad1..9260f4f22ba 100644 --- a/doc/misc/flymake.texi +++ b/doc/misc/flymake.texi | |||
| @@ -1,8 +1,8 @@ | |||
| 1 | \input texinfo @c -*-texinfo; coding: utf-8 -*- | 1 | \input texinfo @c -*-texinfo; coding: utf-8 -*- |
| 2 | @comment %**start of header | 2 | @comment %**start of header |
| 3 | @setfilename ../../info/flymake.info | 3 | @setfilename ../../info/flymake.info |
| 4 | @set VERSION 0.3 | 4 | @set VERSION 1.0 |
| 5 | @set UPDATED April 2004 | 5 | @set UPDATED June 2018 |
| 6 | @settitle GNU Flymake @value{VERSION} | 6 | @settitle GNU Flymake @value{VERSION} |
| 7 | @include docstyle.texi | 7 | @include docstyle.texi |
| 8 | @syncodeindex pg cp | 8 | @syncodeindex pg cp |
| @@ -37,7 +37,7 @@ modify this GNU manual.'' | |||
| 37 | @titlepage | 37 | @titlepage |
| 38 | @title GNU Flymake | 38 | @title GNU Flymake |
| 39 | @subtitle for version @value{VERSION}, @value{UPDATED} | 39 | @subtitle for version @value{VERSION}, @value{UPDATED} |
| 40 | @author Pavel Kobiakov(@email{pk_at_work@@yahoo.com}) and João Távora. | 40 | @author João Távora and Pavel Kobiakov(@email{pk_at_work@@yahoo.com}). |
| 41 | @page | 41 | @page |
| 42 | @vskip 0pt plus 1filll | 42 | @vskip 0pt plus 1filll |
| 43 | @insertcopying | 43 | @insertcopying |