Loading toMkdocs/toMkdocs.py +2 −4 Original line number Diff line number Diff line Loading @@ -164,10 +164,8 @@ def writeClauses(outLines:list[Clause], filename:str, navTitle:str) -> None: # create directory first os.makedirs(f'{os.path.dirname(filename)}/{navTitle}', exist_ok = True) for i, f in enumerate(outLines): if len(f.lines) == 0: # ignore empty clauses continue # Don't write content files that are only for navigation if f.onlyNav: if len(f.lines) == 0 or f.onlyNav: # ignore empty clauses or clauses that are only for navigation print(f'[green]Navigation only - "{f.title}"') continue # write to single files Loading Loading
toMkdocs/toMkdocs.py +2 −4 Original line number Diff line number Diff line Loading @@ -164,10 +164,8 @@ def writeClauses(outLines:list[Clause], filename:str, navTitle:str) -> None: # create directory first os.makedirs(f'{os.path.dirname(filename)}/{navTitle}', exist_ok = True) for i, f in enumerate(outLines): if len(f.lines) == 0: # ignore empty clauses continue # Don't write content files that are only for navigation if f.onlyNav: if len(f.lines) == 0 or f.onlyNav: # ignore empty clauses or clauses that are only for navigation print(f'[green]Navigation only - "{f.title}"') continue # write to single files Loading
