debuggingbook/notebooks/shared/utils at master · uds-se/debuggingbook · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
add_metadata.py		add_metadata.py
bnfize		bnfize
export_notebook_code.py		export_notebook_code.py
htmltonbpdf.py		htmltonbpdf.py
nb2jb.py		nb2jb.py
nbautopep8.py		nbautopep8.py
nbautoslide.py		nbautoslide.py
nbdepend.py		nbdepend.py
nbindex.py		nbindex.py
nbmerge.py		nbmerge.py
nbshorten.py		nbshorten.py
nbspellcheck.py		nbspellcheck.py
nbstats.py		nbstats.py
nbsummarize.py		nbsummarize.py
nbsynopsis.py		nbsynopsis.py
nbtoc.py		nbtoc.py
patch_jb.py		patch_jb.py
post_html.py		post_html.py
post_tex		post_tex

README.md

This folder contains various utilities required for production. In particular, post-html.py creates the HTML files from notebooks.