From d7bbc8a17b33018ab310cdfdec32f519989dec8b Mon Sep 17 00:00:00 2001
From: Lutz Kettner <kettner@mpi-sb.mpg.de>
Date: Mon, 25 Mar 1996 13:55:30 +0000
Subject: [PATCH] New features for the generation of the HTML manual. These are
 \begin{TexOnly} ..., \begin{HtmlOnly} ...,  \LatexHtml{}{},  \Anchor{}{}

---
 Packages/Manual_tools/format/cc_manual.sty | 49 ++++++++++++++++++++++
 1 file changed, 49 insertions(+)

diff --git a/Packages/Manual_tools/format/cc_manual.sty b/Packages/Manual_tools/format/cc_manual.sty
index ca7eddcea9d..3d3418e89c4 100644
--- a/Packages/Manual_tools/format/cc_manual.sty
+++ b/Packages/Manual_tools/format/cc_manual.sty
@@ -113,6 +113,43 @@
 \newcommand{\protocgal}{{\sc C++gal}}
 \newcommand{\plageo}{{\sc Plageo}}
 
+% +--------------------------------------------------------------------------
+% | Support macros for HTML manual generation:
+% |
+% | \begin{TexOnly} ...,  \begin{HtmlOnly} ...,  \LatexHtml{}{}
+% +--------------------------------------------------------------------------
+
+\gdef\HTMLcatcode {%
+                       \CCcatcode
+                       \catcode`\{=12
+                       \catcode`\}=12
+                       \catcode`\\=12
+                  }
+\gdef\HTMLdefcatcode {%
+                       \catcode`\|=0
+                       \catcode`\[=1
+                       \catcode`\]=2
+                       \catcode`\{=12
+                       \catcode`\}=12
+                       \catcode`\\=12
+                  }
+
+\def\LatexHtml #1#2{#1}
+\def\Anchor #1#2{#2}
+\newenvironment{TexOnly}{}{}
+\newenvironment{HtmlOnly}{\begingroup\HTMLcatcode \ParseHtmlOnlyBody}{
+                          \endgroup}
+
+%  Take care: catcodes changes a lot here!!
+\begingroup
+\HTMLdefcatcode
+|gdef|ParseHtmlOnlyBody #1\end{HtmlOnly}[%
+  |csname endHtmlOnly|endcsname|@checkend[HtmlOnly]%
+  |expandafter|endgroup|if@endpe|@doendpe|fi
+  |if@ignore|global|@ignorefalse|ignorespaces|fi
+]
+|endgroup
+
 % +--------------------------------------------------------------------------
 % | Structuring macros (similar to LEDA Manual):
 % |
@@ -129,6 +166,10 @@
                     {\bf Definition}
                     \par\nopagebreak }
 
+\def\types         {\bigskip\pagebreak[1]
+                    {\bf Types}
+                    \par\nopagebreak }
+
 \def\creation      {\bigskip\pagebreak[1]
                     {\bf Creation}
                     \par\nopagebreak }
@@ -242,6 +283,10 @@
                    \global\CCWfunctionsecond=#2
                    }
 
+\def\constructorcolumn #1{%
+                   \global\CCWconstructorsecond=#1
+                   }
+
 \def\constructor {%
                    \begingroup\CCcatcode\constructorX}
 
@@ -354,6 +399,10 @@
     \gdef\hidden{}%
 }
 
+% An \unchecked macro expands to nothing. It is used by the checker tool
+% where it denotes that the following declarations is not subject of any
+% check.
+\def\unchecked{}
 
 % All simple macros work also at the global level. The following
 % `global' versions are only shortcuts to omit the comment parameter,