Closes #1249: Fix duplicate LaTeX page numbering for manual documents.

This commit is contained in:
Georg Brandl 2014-01-12 23:01:59 +01:00
parent a72406d434
commit 5d23ef5a8c
2 changed files with 4 additions and 1 deletions

View File

@ -91,6 +91,8 @@ Bugs fixed
* #1308: Strip HTML tags from the content of "raw" nodes before feeding it * #1308: Strip HTML tags from the content of "raw" nodes before feeding it
to the search indexer. to the search indexer.
* #1249: Fix duplicate LaTeX page numbering for manual documents.
Documentation Documentation
------------- -------------

View File

@ -97,6 +97,7 @@
% %
\let\py@OldTableofcontents=\tableofcontents \let\py@OldTableofcontents=\tableofcontents
\renewcommand{\tableofcontents}{% \renewcommand{\tableofcontents}{%
\pagenumbering{roman}%
\setcounter{page}{1}% \setcounter{page}{1}%
\pagebreak% \pagebreak%
\pagestyle{plain}% \pagestyle{plain}%
@ -114,7 +115,7 @@
\pagenumbering{arabic}% \pagenumbering{arabic}%
\@ifundefined{fancyhf}{}{\pagestyle{normal}}% \@ifundefined{fancyhf}{}{\pagestyle{normal}}%
} }
\pagenumbering{roman} \pagenumbering{alph}
% This is needed to get the width of the section # area wide enough in the % This is needed to get the width of the section # area wide enough in the
% library reference. Doing it here keeps it the same for all the manuals. % library reference. Doing it here keeps it the same for all the manuals.