site_name: spoofax_prop
docs_dir: target #dummy
plugins:
- search
- semiliterate:
    merge_docs_dir: false
    ignore_folders: ['target', 'docrefs']
    extract_standard_markdown:
      terminate: <!-- /md -->
nav:
- README.md
- syntax/Spoofax-Propositional-Language.md
- trans/prop-eval-rules.md
- trans/prop-dnf-rules.md
- trans/prop-dnf3.md
- test/manual-suite.md
theme:
  name: readthedocs
markdown_extensions:
- abbr
- pymdownx.superfences
- pymdownx.highlight:
    use_pygments: true
- smarty