From c7c5db9b84e34421aa45f6dbf8dd4ac79fcc0fcd Mon Sep 17 00:00:00 2001
From: Lutz Kettner <kettner@mpi-sb.mpg.de>
Date: Thu, 8 May 1997 00:27:14 +0000
Subject: [PATCH] Major extensions for the HTML support.: The mechanisms around
 the class environments are more flexible and can be used separately (file
 creation, indexing, cross linking). The HTML  converter supports now an
 additional file model  with multiple subdirectories to avoid name clashes of
 class filenames and the cross referencing. -aux and -bbl new. \ccInclude with
 link to CGAL header file. Support of path.sty.

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

diff --git a/Packages/Manual_tools/format/cc_manual.sty b/Packages/Manual_tools/format/cc_manual.sty
index c5d2986d49b..a5a8c47129a 100644
--- a/Packages/Manual_tools/format/cc_manual.sty
+++ b/Packages/Manual_tools/format/cc_manual.sty
@@ -960,6 +960,10 @@
 % | Support macros for HTML manual generation:
 % |
 % | \begin{ccTexOnly}..., \begin{ccHtmlOnly}..., \ccTexHtml{}{}, \ccAnchor{}{}
+% |
+% | \ccHtmlIndex, \ccHtmlIndexC, \ccHtmlCrossLink, 
+% | \ccHtmlNoClassLinks, \ccHtmlNoClassFile, \ccHtmlNoClassIndex
+% | \ccHtmlBeginClassFile, \ccHtmlEndClassFile
 % +--------------------------------------------------------------------------
 
 \newcommand{\ccHtmlCatcode}{%
@@ -987,13 +991,51 @@
 %  Take care: catcodes changes a lot here!!
 \begingroup
 \ccHtmlDefCatcode
-|gdef|ccParseHtmlOnlyBody #1\end{ccHtmlOnly}[%
+|long|gdef|ccParseHtmlOnlyBody #1\end{ccHtmlOnly}[%
   |csname endccHtmlOnly|endcsname|@checkend[ccHtmlOnly]%
   |expandafter|endgroup|if@endpe|@doendpe|fi
   |if@ignore|global|@ignorefalse|ignorespaces|fi
 ]
 |endgroup
 
+% Flexibility for HTML class files.
+% ---------------------------------
+
+\newcommand{\ccHtmlIndex}{%
+    \begingroup\ccCatcode
+    \ccHtmlIndexX
+}
+\newcommand{\ccHtmlIndexC}{%
+    \begingroup\ccCatcode
+    \ccHtmlIndexX
+}
+
+\def\ccHtmlIndexX #1{%
+    \endgroup
+    \isOptionalArg{#1}\ifnum\ccBool=\ccTrue \ccHtmlIndexXX
+    \fi
+}
+\def\ccHtmlIndexXX #1]#2{}
+
+\newcommand{\ccHtmlCrossLink}{%
+    \begingroup\ccCatcode
+    \ccHtmlCrossLinkX
+}
+\def\ccHtmlCrossLinkX #1{\endgroup}
+\newcommand{\ccHtmlNoClassLinks}{}
+\newcommand{\ccHtmlNoClassFile}{}
+\newcommand{\ccHtmlNoClassIndex}{}
+
+\newenvironment{ccHtmlClassFile}{%
+    \begingroup\ccCatcode
+    \ccHtmlClassFileX
+}{}
+\def\ccHtmlClassFileX #1{%
+    \endgroup\ccHtmlClassFileXX
+}
+\def\ccHtmlClassFileXX #1{}
+
+
 % ___________________________________________________________________________
 % ###########################################################################
 % |
@@ -1056,6 +1098,15 @@
         \if#1_\ccBool=\ccTrue \fi
     \fi}
 
+% Test for a leading underscore, either _ with changed catcode, or \_
+\def\isOptionalArg #1{%
+    \def\qparams{#1}\ifx\qparams\empty\ccBool=\ccFalse 
+        \else\isOptionalArgX #1\ccEnd\fi}
+\def\isOptionalArgX #1#2\ccEnd{%
+    \ccBool=\ccFalse
+    \if#1[\ccBool=\ccTrue\fi
+}
+
 % Test for a leading underscore, either _ with changed catcode, or \_,
 % or the / character. Used to validate the character after a prefix.
 \def\isPrefixFollowChar #1{%