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 %}
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. |