# Documentation

This directory contains source files for building our documentation.
Please view the compiled documentation on our [documentation page](https://auto-lirpa.readthedocs.io/en/latest/?badge=latest), as some links may not work here on GitHub.

## Dependencies

Install additional libraries for building documentations:

```bash
pip install -r requirements.txt
```

## Build

Build documentations in HTML:

```
make html
```

The documentation will be generated at `_build/html`.
