# This is the config file for the documentation generator. # (c) 2015 Andreas Rumpf # Feel free to edit the templates as you need. split.item.toc = "20" # too long entries in the table of contents wrap around # after this number of characters doc.listing_start = """
""" doc.listing_end = """""" doc.listing_button = """""" doc.section = """
$header