|
@@ -52,10 +52,9 @@ def parse_html_main_index(out_dir: Path=OUTPUT_DIR) -> Iterator[str]:
|
|
|
|
|
|
|
|
def generate_index_from_links(links: List[Link], with_headers: bool):
|
|
def generate_index_from_links(links: List[Link], with_headers: bool):
|
|
|
if with_headers:
|
|
if with_headers:
|
|
|
- output = main_index_template(links, True)
|
|
|
|
|
|
|
+ output = main_index_template(links)
|
|
|
else:
|
|
else:
|
|
|
- output = main_index_template(links, True, MINIMAL_INDEX_TEMPLATE)
|
|
|
|
|
- return output
|
|
|
|
|
|
|
+ output = main_index_template(links, template=MINIMAL_INDEX_TEMPLATE)
|
|
|
|
|
|
|
|
@enforce_types
|
|
@enforce_types
|
|
|
def main_index_template(links: List[Link], template: str=MAIN_INDEX_TEMPLATE) -> str:
|
|
def main_index_template(links: List[Link], template: str=MAIN_INDEX_TEMPLATE) -> str:
|