This commit is contained in:
gauthiier 2023-09-12 08:36:35 +02:00
parent 9d84b99449
commit 265cbb4e70

4
gen.py
View File

@ -70,7 +70,9 @@ def emit_audio(file: pathlib.Path, data_dir: pathlib.Path, full=False):
# an '.audio' file is a json file with a list of audio elements # an '.audio' file is a json file with a list of audio elements
# which need to be bundles as a type of list in a single <li> # which need to be bundles as a type of list in a single <li>
if not file.is_file():
file = data_dir / file; file = data_dir / file;
if file.is_file(): if file.is_file():
with file.open() as fp: with file.open() as fp:
audio = json.loads(fp.read()) audio = json.loads(fp.read())
@ -296,7 +298,7 @@ if __name__ == '__main__':
datadir = d / "data" datadir = d / "data"
if datadir.is_dir(): if datadir.is_dir():
section_indx_txt = datadir / "index.txt" section_indx_txt = datadir / "index.txt"
section_desc_txt = datadir / "desc.txt" section_desc_txt = datadir / "desc.md"
out_index = None out_index = None
if section_indx_txt.is_file() or section_desc_txt.is_file(): if section_indx_txt.is_file() or section_desc_txt.is_file():