3609c27c26bbf5b8070397296c231775758aac0b — Johann Rudloff 1 year, 5 months ago ded2884
2 files changed, 35 insertions(+), 0 deletions(-)

A .gitignore
A .gitignore => .gitignore +1 -0
@@ 0,0 1,1 @@

A README.md => README.md +34 -0
@@ 0,0 1,34 @@
# Idris2 Quickdocs

This is an index generator and fast documentation browser for

## Live Demo

A demo of this is hosted at [https://idris2docs.sinyax.net](https://idris2docs.sinyax.net)

## Requirements

To generate the documentation index, you need Python 3,
[poetry](https://python-poetry.org/) and the [`mkdoc` branch of my Idris2
fork](https://github.com/cypheon/Idris2/tree/mkdoc) (at least until the doc
generation is ready to be upstreamed).

## Usage

Updating and serving the docs is a bit rought for now, but all the pieces are

Run `poetry install` to install dependencies, then you can run the following:

IDRIS2_EXECUTABLE=path/to/idris2 IDRIS2_SRC=path/to/idris2/source/code ./rebuild_all.sh

The you can serve the current directory (don't do this in production!):

python3 -mhttp.server 8001

And your docs will be served at