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

@@ -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{%