Commit 44a04929 authored by Paul Asmuth's avatar Paul Asmuth
Browse files

update the 'wwwdocs' build script to the new TOC format

parent 9f9ded15
Loading
Loading
Loading
Loading
+2 −0
Original line number Diff line number Diff line
@@ -34,6 +34,8 @@ def build_toc(toc):
      build_page(page)
    if "pages" in page:
      build_toc(page["pages"])
    if "sections" in page:
      build_toc(page["sections"])

def main():
  toc = yaml.load(Path("manual/toc.yaml").read_text())