From f96bcf527f1e1e16ee9007583a4e1790ac4bc8c3 Mon Sep 17 00:00:00 2001 From: Milanka Ringwald Date: Fri, 24 Apr 2015 23:36:12 +0200 Subject: [PATCH] manual: restore latex paths in script --- docs/manual/update_listings.py | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/docs/manual/update_listings.py b/docs/manual/update_listings.py index 575c8e36d..96b26e709 100755 --- a/docs/manual/update_listings.py +++ b/docs/manual/update_listings.py @@ -78,12 +78,15 @@ def replacePlaceholder(template, title, lable): def latexText(text, ref_prefix): if not text: return "" - - brief = text.replace("_","\_") - # TODO: restore paths - - brief = brief.replace(" in the BTstack manual","") + brief = text.replace(" in the BTstack manual","") + paths_orig = re.findall(r'(\\path{.*})', brief) + brief = brief.replace("_","\_") + paths_new = re.findall(r'(\\path{.*})', brief) + + for i in range(len(paths_orig)): + brief = brief.replace(paths_new[i], paths_orig[i]) + refs = re.match('.*Listing\s+(\w+).*',brief) if refs: brief = brief.replace(refs.group(1), "\\ref{listing:"+ref_prefix+":" + refs.group(1)+"}")