Skip to content

Latest commit

 

History

History

utils

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
README.md
README.md
 
 
add_metadata.py
add_metadata.py
 
 
bnfize
bnfize
 
 
htmltonbpdf.py
htmltonbpdf.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
 
 
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.