diff options
author | Janne Grunau <janne-ffmpeg@jannau.net> | 2011-01-29 15:24:13 +0300 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2011-01-30 05:41:47 +0300 |
commit | 5231d6277f2c3b7c13a309964a6edbfa0e9570b5 (patch) | |
tree | ea5fef100658bd298886a866b04d3d69c7de666b /doc/developer.texi | |
parent | bc0a603c7888c1faf4db580829e103b21442b6e4 (diff) |
doc: modify style for texi2html 1.78+
The generated HTML files are similar to the ones generated with
texi2html 1.56k used on the website.
Tested with texi2html 1.78 and 5.0. 1.78 is the minimal recommended
version.
The removed @sp from the titlepage section were ignored until
texi2html 5.0. If not removed the pages generated by 5.0 will have ugly
empty space around the title.
(cherry picked from commit a8f0814a742dee4783afaa5bedb01aa0c77b1fc4)
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 |