diff --git a/doc/platform.texi b/doc/platform.texi index 290f7dd58a..1121ea859b 100644 --- a/doc/platform.texi +++ b/doc/platform.texi @@ -1,8 +1,8 @@ \input texinfo @c -*- texinfo -*- -@settitle Platform Specific information +@settitle Platform Specific Information @titlepage -@center @titlefont{Platform Specific information} +@center @titlefont{Platform Specific Information} @end titlepage @top