mkdocs-juvix-plugin 0.2.8

Support for Juvix Markdown files in MkDocs

Juvix MkDocs

This is a plugin for MkDocs to build static websites and highlight Juvix codeblocks using the Juvix Compiler. It also adds a CLI tool to help you get started with a new project called juvix-mkdocs.

Features

• Highlight Juvix code blocks in Markdown files
• Support for hidden Juvix code blocks
• Extract statements from Juvix code blocks
• A CLI tool to get started with a new project

Getting Started

Prerequisites

• Python 3.9+
• Poetry
• Juvix Compiler

Installation

1. Initialize a Poetry project:

poetry init

2. Add the required dependencies:

poetry add mkdocs-juvix-plugin

3. Create a new MkDocs project:

juvix-mkdocs new

By default, this command would interactively ask you a few questions. You can skip the interaction by passing the --no-interactive flag. If you run this in the interactive mode, it will create a new MkDocs project in the current directory where you execute the command, say my-project. And then, it would run the development server for you. All in all, you would end up with a project that has the following structure:

my-project/
├── mkdocs.yml
├── poetry.lock
├── pyproject.toml
├── README.md
├── .gitignore
├── .github/
│   ├── workflows/
│   │   ├── ci.yml
├── docs/
│   ├── index.md
│   └── ...

Recall that you can run the development server by running:

poetry run mkdocs serve

4. Otherwise, just add the plugin to your existing MkDocs project, check out the fixtures in the mkdocs.yml file for reference, and the folder (src/fixtures) for examples.

# mkdocs.yml
plugins:
  - juvix