From 4d782e42ed579ff34bc8ecccbceb2b79f1b2798c Mon Sep 17 00:00:00 2001 From: Yorik van Havre Date: Sat, 13 Feb 2016 20:36:28 -0200 Subject: [PATCH] updated offline doc tools to handle the Command_Reference pages --- src/Tools/offlinedoc/buildwikiindex.py | 17 +++++----- src/Tools/offlinedoc/downloadwiki.py | 46 ++++++++++++++++++-------- 2 files changed, 42 insertions(+), 21 deletions(-) diff --git a/src/Tools/offlinedoc/buildwikiindex.py b/src/Tools/offlinedoc/buildwikiindex.py index 620d032ea..f448abcdd 100755 --- a/src/Tools/offlinedoc/buildwikiindex.py +++ b/src/Tools/offlinedoc/buildwikiindex.py @@ -133,14 +133,15 @@ def getlinks(html): rg = re.findall('href=.*?php\?title=(.*?)"',l) if rg: rg = rg[0] - if "#" in rg: - rg = rg.split('#')[0] - if ":" in rg: - NORETRIEVE.append(rg) - if ";" in rg: - NORETRIEVE.append(rg) - if "&" in rg: - NORETRIEVE.append(rg) + if not "Command_Reference" in rg: + if "#" in rg: + rg = rg.split('#')[0] + if ":" in rg: + NORETRIEVE.append(rg) + if ";" in rg: + NORETRIEVE.append(rg) + if "&" in rg: + NORETRIEVE.append(rg) if "/" in rg: if not GETTRANSLATIONS: NORETRIEVE.append(rg) diff --git a/src/Tools/offlinedoc/downloadwiki.py b/src/Tools/offlinedoc/downloadwiki.py index 9cd1dc42a..ef4734190 100755 --- a/src/Tools/offlinedoc/downloadwiki.py +++ b/src/Tools/offlinedoc/downloadwiki.py @@ -52,7 +52,7 @@ defaultfile = "').sub('',html) # removing nav stuff html = re.compile('