Skip to content

CalConnect/cc-datetime-terminology

Repository files navigation

CalConnect/ISO Standard: Date and time — Concepts and terminology

This work item belongs to TC DATETIME.

Build Status

This document is available in its rendered forms here:

Fetching the document

git clone https://github.com/CalConnect/csd-datetime-terminology/

Installing Build Tools

Other dependencies

Note
This can be confused with https://github.com/kislyuk/yq.

Running via Docker or locally

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.

Building The Document

make

The following outputs will be built:

Iterating the document

Manual approach

# ... edit source files...
make

Automatically watch file (experimental)

Spawn a file-watching HTTP server at port 8123:

make watch-serve

Spawn a file-watching HTTP server at a specific port:

make watch-serve PORT=8080

Getting help

make help

About

No description or website provided.

Topics

Resources

Stars

Watchers

Forks

Packages

 
 
 

Contributors

Languages