Compiling without Alectryon

Coq files can always be compiled without Alectryon. reST files are tricker, since they have ..coq :: directives. The repository contains a standalone compiler that treats these directives as code blocks and includes no-op definitions for Alectryon-specific roles:

alectryon minimal.rst # reST → HTML; produces ‘minimal.html’

$ cd ..; python -m alectryon.minimal recipes/minimal.rst recipes/minimal.no-alectryon.html
# Minimal reST → HTML; produces ‘minimal.no-alectryon.html’

Directives

Coq code:
Print nat. (* .unfold *)
Quotes:
Assertions:

Roles