Clone the Metanorma-{{ include.flavor.title }} repository and change into the directory with the example:

git clone {{ include.sample_repo }}
{% if include.sample_subdir %}
cd {{ include.sample_subdir }}
{% endif %}

If you’re using Docker distribution of Metanorma, run the Docker container like this:

docker run \
    -v "$(pwd)":/metanorma/ \
    -w /metanorma ribose/metanorma \
    "metanorma {{ include.flavor.build.cli_flags }} {{ include.sample_filename }}"

If you have Metanorma installed on your machine (not via Docker container), the command is simpler:

metanorma {{ include.flavor.build.cli_flags }} {{ include.sample_filename }}
Note

See Installation topic for the different ways of getting the Metanorma toolchain set up.