diff options
| author | herbelin | 2001-10-17 12:38:05 +0000 |
|---|---|---|
| committer | herbelin | 2001-10-17 12:38:05 +0000 |
| commit | 4fe518a1c458d7d6274ac1c1b2f97504e1652f56 (patch) | |
| tree | f059cfbc5510dc4baaf57af82dd575f552c48ef4 /doc/book-html.sty | |
| parent | e4941ce46a8d33e976db6c2540a8078043f30d3c (diff) | |
MAJ hevea 1.5
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8249 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/book-html.sty')
| -rw-r--r-- | doc/book-html.sty | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/doc/book-html.sty b/doc/book-html.sty index 0592e622d0..27eaeefa81 100644 --- a/doc/book-html.sty +++ b/doc/book-html.sty @@ -25,7 +25,7 @@ \newcommand{\part}[1]{% \@print{<!--CUT PART-->} \@open{H1}{ALIGN=center} -\stepcounter{part} +\refstepcounter{part} \partname:~\thepart\\ #1 \@close{H1} @@ -40,7 +40,7 @@ \newcommand{\chapter}[1]{% \@print{<!--CUT CHAPTER-->} \@open{H1}{} -\stepcounter{chapter} +\refstepcounter{chapter} \chaptername~\thechapter: #1 \@close{H1} } @@ -54,7 +54,7 @@ \newcommand{\section}[1]{% \@print{<!--CUT SECTION-->} \@open{H2}{} -\stepcounter{section} +\refstepcounter{section} \thesection~#1 \@close{H2} } @@ -68,7 +68,7 @@ \newcommand{\subsection}[1]{% \@open{H3}{} -\stepcounter{subsection} +\refstepcounter{subsection} \thesubsection~#1 \@close{H3} } @@ -81,7 +81,7 @@ \newcommand{\subsubsection}[1]{% \@open{H4}{} -% \stepcounter{subsubsection} +% \refstepcounter{subsubsection} % \thesubsubsection~ #1 \@close{H4} @@ -94,7 +94,7 @@ \newcommand{\paragraph}[1]{% \@open{H5}{} -% \stepcounter{paragraph} +% \refstepcounter{paragraph} % \theparagraph~ #1 \@close{H5} @@ -115,7 +115,7 @@ \@close{DL} } \renewcommand{\bibitem}[1]{\item[{\purple[\@bibref{#1}]\label{#1}}]} -\renewcommand{\index}[2][default]{\@index[#1]{#2}} +% \renewcommand{\index}[2][default]{\@index[#1]{#2}} \renewcommand{\printindex}[1][default]{% \@print{ <!--CUT INDEX--> |