Merge branch 'fix-raw-tex'

* fix-raw-tex: UI: xbcomments.js: properly quote special characters in docs DOC: Makefile.mk: do not parse source comments as raw_tex Signed-off-by: Tim Janik <[email protected]>
tim-janik · Aug 19, 2023 · 64882dc · 64882dc
2 parents b554e80 + 8e08004
commit 64882dc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/doc/Makefile.mk b/doc/Makefile.mk
@@ -75,7 +75,7 @@ $>/doc/jsdocs.md: $(doc/jsdocs_md) doc/Makefile.mk
 		(echo && cat $$f && echo ) >> $@.tmp \
 	|| exit 1 ; done
 	$Q # Use pandoc to convert markdown *without* raw_html to regular markdown with escaped angle brackets
-	$Q pandoc -p -f markdown+compact_definition_lists+autolink_bare_uris+emoji+lists_without_preceding_blankline-smart-raw_html \
+	$Q pandoc -p -f markdown+compact_definition_lists+autolink_bare_uris+emoji+lists_without_preceding_blankline-smart-raw_html-raw_tex \
 		-t markdown+autolink_bare_uris+emoji+lists_without_preceding_blankline-smart		$@.tmp > $@.tmp2
 	$Q mv $@.tmp2 $@
 

diff --git a/ui/xbcomments.js b/ui/xbcomments.js
@@ -10,7 +10,7 @@ function lrstrip (str)
   return str.replaceAll (/^[\s\t\f]+|[\s\t\f]+$/g, '');
 }
 
-/// Remove C-comment style \n\s\*\s
+/// Remove C-comment style `\n\s\*\s`
 function fix_indent (txt)
 {
   txt = lrstrip (txt);