Configuration

Camyll uses TOML for configuration. A configuration file has the following format:

dest_dir = "" # : string

agda_dir = "" # : string

exclude = [] # : string list

taxonomies = {} # : { name : string; layout : string } list

dest_dir

dest_dir is the name of the directory that contains the rendered site.

agda_dir

agda_dir is the name of the directory (inside the destination directory) that contains the generated Literate Agda documentation for libraries.

exclude

exclude is a list of globs of files to ignore.

taxonomies

taxonomies is the list of taxonomies. Each taxonomy contains the key name, which is its name, used in the URL, and the key layout, which is the name of the layout template to use to generate the page of an individual taxonomy term.