diff --git a/Manual_tools/src/latex_converter_config/html/latex.sty b/Manual_tools/src/latex_converter_config/html/latex.sty index f34becad90c..130d8ad8c48 100644 --- a/Manual_tools/src/latex_converter_config/html/latex.sty +++ b/Manual_tools/src/latex_converter_config/html/latex.sty @@ -910,6 +910,7 @@ td.TocChapter { font-weight: normal; } \newcommand{\|}{\parallel} \newcommand{\neg}{\lcRawHtml{ ¬ }} \newcommand{\backslash}{\verb+\+} +\newcommand{\slash}{\verb+/+} \newcommand{\aleph}{\lcRawHtml% { }} diff --git a/Manual_tools/src/latex_to_html b/Manual_tools/src/latex_to_html index df876d3d806..c51fc275319 100755 --- a/Manual_tools/src/latex_to_html +++ b/Manual_tools/src/latex_to_html @@ -428,6 +428,7 @@ convert() { lgout -n ", " lgout -n "creating stage 2 anchor rules" # bottom up propagation of rule sets + touch cc_anchor_rules.stage_0 for dir in ${AllSubDirsPostfix} ; do vout -n " "$dir \touch ${dir}/cc_anchor_rules.stage_2 # necessary to make stage_3 work