From b6018c78b25da14d4f44cf10de692f968cba1e98 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 12 Dec 2000 22:36:15 +0000
Subject: Initial revision

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8143 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/book-html.sty | 133 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 133 insertions(+)
 create mode 100644 doc/book-html.sty

(limited to 'doc/book-html.sty')

diff --git a/doc/book-html.sty b/doc/book-html.sty
new file mode 100644
index 0000000000..0592e622d0
--- /dev/null
+++ b/doc/book-html.sty
@@ -0,0 +1,133 @@
+\newcounter {part}
+\newcounter {chapter}
+\newcounter {section}[chapter]
+\newcounter {subsection}[section]
+\newcounter {subsubsection}[subsection]
+\newcounter {paragraph}[subsubsection]
+\newcounter {subparagraph}[paragraph]
+\renewcommand \thepart {\Roman{part}}
+\renewcommand \thesection {\thechapter.\arabic{section}}
+\renewcommand\thesubsection   {\thesection.\arabic{subsection}}
+\renewcommand\thesubsubsection{\thesubsection .\arabic{subsubsection}}
+\renewcommand\theparagraph    {\thesubsubsection.\arabic{paragraph}}
+\renewcommand\thesubparagraph {\theparagraph.\arabic{subparagraph}}
+\newcommand{\partname}{Part}
+\newcommand{\chaptername}{Chapter}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newcommand{\appendix}{%
+\renewcommand{\chaptername}{Appendix}%
+\setcounter{chapter}{0}%
+\renewcommand{\thechapter}{\Alph{chapter}}%
+}
+\newcounter{figure}[chapter]
+\renewcommand{\thefigure}{\thechapter.\arabic{figure}}
+
+\newcommand{\part}[1]{%
+\@print{<!--CUT PART-->}
+\@open{H1}{ALIGN=center}
+\stepcounter{part}
+\partname:~\thepart\\
+#1
+\@close{H1}
+}
+\newcommand{\part*}[1]{%
+\@print{<!--CUT CHAPTER-->}
+\@open{H1}{ALIGN=center}
+#1
+\@close{H1}
+}
+
+\newcommand{\chapter}[1]{%
+\@print{<!--CUT CHAPTER-->}
+\@open{H1}{}
+\stepcounter{chapter}
+\chaptername~\thechapter: #1
+\@close{H1}
+}
+\newcommand{\chapter*}[1]{%
+\@print{<!--CUT CHAPTER-->}
+\@open{H1}{}
+#1
+\@close{H1}
+}
+
+\newcommand{\section}[1]{%
+\@print{<!--CUT SECTION-->}
+\@open{H2}{}
+\stepcounter{section}
+\thesection~#1
+\@close{H2}
+}
+\newcommand{\section*}[1]{%
+\@print{<!--CUT SECTION-->}
+\@open{H2}{}
+#1
+\@close{H2}
+}
+
+
+\newcommand{\subsection}[1]{%
+\@open{H3}{}
+\stepcounter{subsection}
+\thesubsection~#1
+\@close{H3}
+}
+\newcommand{\subsection*}[1]{%
+\@open{H3}{}
+#1
+\@close{H3}
+}
+
+
+\newcommand{\subsubsection}[1]{%
+\@open{H4}{}
+%  \stepcounter{subsubsection}
+%  \thesubsubsection~
+#1
+\@close{H4}
+}
+\newcommand{\subsubsection*}[1]{%
+\@open{H4}{}
+#1
+\@close{H4}
+}
+
+\newcommand{\paragraph}[1]{%
+\@open{H5}{}
+%  \stepcounter{paragraph}
+%  \theparagraph~
+#1
+\@close{H5}
+}
+\newcommand{\paragraph*}[1]{%
+\@open{H5}{}
+#1
+\@close{H5}
+}
+
+\renewenvironment{thebibliography}[1]{%
+\@print{
+<!--CUT BIBLIOGRAPHY-->
+}
+\@open{H1}{}
+\bibname\@close{H1}\@open{DL}{}}{%
+
+\@close{DL}
+}
+\renewcommand{\bibitem}[1]{\item[{\purple[\@bibref{#1}]\label{#1}}]}
+\renewcommand{\index}[2][default]{\@index[#1]{#2}}
+\renewcommand{\printindex}[1][default]{%
+\@print{
+<!--CUT INDEX-->
+}
+\@printindex[#1]
+}
+
+\renewcommand{\addtocontents}[2]{}
+
+\newcommand{\tophtml}{%
+\@print{
+<!--CUT TOP-->
+}}
+
+\newcommand{\atableofcontents}{}
-- 
cgit v1.2.3

