mkdoclingo

Installation

To install the project, run

pip install .

Run the following for basic usage information:

mkdoclingo -h

To generate and open the documentation, run

nox -s doc -- serve

Instructions to install and use nox can be found in DEVELOPMENT.md

Add handler to mkdocs.yml

plugins:
- mkdocstrings:
    handlers:
        asp:
        paths: [encodings]

You may now use mkdocstrings identifiers like so:
```
::: some/path/to/encoding.lp
    handler: asp
```

The output is customizable via options.

For example:

::: some/path/to/encoding.lp
    handler: asp
    options:
        source: true

shows the source code of the corresponding encoding.