From 1ed6b99d6f882c82b38d16bf87e1f5697085dc8f Mon Sep 17 00:00:00 2001 From: Tim Janik Date: Sat, 19 Aug 2023 15:19:08 +0200 Subject: [PATCH 1/2] DOC: Makefile.mk: do not parse source comments as raw_tex Signed-off-by: Tim Janik --- doc/Makefile.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile.mk b/doc/Makefile.mk index 50639347..663c59f4 100644 --- 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 $@ From 8e080040c637f4aa00e37eef1f8cfe01d51ad968 Mon Sep 17 00:00:00 2001 From: Tim Janik Date: Sat, 19 Aug 2023 15:19:32 +0200 Subject: [PATCH 2/2] UI: xbcomments.js: properly quote special characters in docs Signed-off-by: Tim Janik --- ui/xbcomments.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ui/xbcomments.js b/ui/xbcomments.js index d94f34a7..a02291b5 100644 --- 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);