Usage¶
To use the extension just write the following code inside your documentation and mkdoclingo will render the corresponding documentation in that place.
Example
::: relative-path-to-file.lp
handler: asp
options:
...
relative-path-to-file.lp
is a relative path to an ASP encoding from the project roothandler: asp
indicates that mkdoclingo will be usedoptions
customize each section that can be included.
Configuration options¶
encodings
See Encodings sectionpredicate-table
See Predicate table sectionglossary
See Glossary sectiondependency-graph
See Dependency graph sectionstart-level
The initial markdown level. By default is1