From 8446e48d3523935afcd1baefdd11ec6feee93b0e Mon Sep 17 00:00:00 2001 From: Andreas Meyer Date: Thu, 1 Mar 2007 13:59:40 +0000 Subject: [PATCH] \ccPrecond: use   instead of " " to indicate whitespace --- Manual_tools/src/latex_converter_config/html/cc_manual.sty | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Manual_tools/src/latex_converter_config/html/cc_manual.sty b/Manual_tools/src/latex_converter_config/html/cc_manual.sty index 8ca900369ef..d3aab211c6d 100644 --- a/Manual_tools/src/latex_converter_config/html/cc_manual.sty +++ b/Manual_tools/src/latex_converter_config/html/cc_manual.sty @@ -352,7 +352,7 @@ \newcommand{\ccHeading}[1]{\lcRawHtml{

}#1\lcRawHtml{

}} \newcommand{\ccCommentHeading}[1]{% \lciCloseCommentHeadingTable% -\lcRawHtml{
}#1: \lcRawHtml{}% +\lcRawHtml{
}#1:\lcRawHtml{ }% \gdef\lciCloseCommentHeadingTable{\lcRawHtml{
}}% }