diff options
| -rw-r--r-- | info/gpp.texinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/info/gpp.texinfo b/info/gpp.texinfo index c16d312..b9ee4cd 100644 --- a/info/gpp.texinfo +++ b/info/gpp.texinfo @@ -51,8 +51,8 @@ Texts. A copy of the license is included in the section entitled @menu * Overview:: Brief overview of @command{gpp}. -* Invoking:: Invoking @command{gpp} -* Syntax:: Syntax of @command{gpp} +* Invoking:: Invoking @command{gpp}. +* Syntax:: Syntax of @command{gpp}. * GNU Free Documentation License:: Copying and sharing this manual. @end menu |