diff options
Diffstat (limited to 'doc/developer.texi')
-rw-r--r-- | doc/developer.texi | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/developer.texi b/doc/developer.texi index 89bc3392e4..b9e246f214 100644 --- a/doc/developer.texi +++ b/doc/developer.texi @@ -2,11 +2,12 @@ @settitle Developer Documentation @titlepage -@sp 7 @center @titlefont{Developer Documentation} -@sp 3 @end titlepage +@top + +@contents @chapter Developers Guide |