LiquidJava Docs

Documentation website for LiquidJava, a refinement type checker for Java with support for liquid types and typestates.

The site is built with Jekyll and the just-the-docs theme.

Run Locally

From the repository root:

bundle install
bundle exec jekyll serve

Then open http://127.0.0.1:4000/liquidjava-docs/.

To serve the site at the root path locally instead of /liquidjava-docs, run:

bundle exec jekyll serve --baseurl ""

Build

bundle exec jekyll build

Publishing

The site is configured as a GitHub Pages project site at https://liquid-java.github.io/liquidjava-docs.