Cloning the sample repository

Clone the sample repository for Metanorma {{ include.flavor.title }} and change into the directory:

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

Running Metanorma

If you have Metanorma installed on your machine (via one of the package manager), the command is simpler:

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

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

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

See the Metanorma Installation page for the various ways Metanorma can be setup.