This work item belongs to TC DATETIME.
This document is available in its rendered forms here:
Because of all this, there is no need to build the document on your own, but if you wish to do so, this is how it can be done:
If you have installed the build tools locally, and wish to run the locally-installed compilation tools, there is nothing further to set.
If you don’t want to deal with local dependencies, use the docker version by:
export METANORMA_DOCKER=1
The Makefile
will automatically choose the proper command to
execute.
make clean all
The following outputs will be built:
-
CSD XML (https://github.com/calconnect/metanorma-model-csd) (
[filename].xml
) -
HTML (
[filename].html
) -
PDF (
[filename].pdf
) -
Word DOC (
[filename].doc
)