diff --git a/src/libprs500/manual/make.py b/src/libprs500/manual/make.py index 8831755682..a37f239d35 100644 --- a/src/libprs500/manual/make.py +++ b/src/libprs500/manual/make.py @@ -16,7 +16,7 @@ ## 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. '''''' -import sys, glob, mechanize, time, subprocess, os, shutil +import sys, glob, mechanize, time, subprocess, os, shutil, re from tempfile import NamedTemporaryFile from xml.etree.ElementTree import parse, tostring, fromstring @@ -55,7 +55,7 @@ def update_manifest(src): def validate(file=None): br = browser() - files = [file] if file is not None else glob.glob('*.html') + files = [file] if file is not None else glob.glob('*.html') for f in files: if f.startswith('preview-'): continue @@ -257,6 +257,7 @@ def generate_cli_docs(): def create_html_interface(src='libprs500.qhp'): root = parse(src).getroot() + print toc = root.find('filterSection').find('toc') def is_leaf(sec): @@ -266,7 +267,8 @@ def create_html_interface(src='libprs500.qhp'): def process_branch(branch, toplevel=False): parent = [] for sec in branch.findall('section'): - html = '