diff --git a/Manual/doc_tex/Manual/cgal_manual.sty b/Manual/doc_tex/Manual/cgal_manual.sty index dc76e24ecdf..8eae7a2d997 100644 --- a/Manual/doc_tex/Manual/cgal_manual.sty +++ b/Manual/doc_tex/Manual/cgal_manual.sty @@ -263,7 +263,7 @@ \ccValueofPkgMaturity \ccValueofPkgDependsOn \ccValueofPkgLicense - \lcRawHtml{User Manual   Reference Manual} + \lcRawHtml{User Manual   Reference Manual} \lciPopOutput% \gdef\ccValueOfPkgName{}% }%