Skip to content

CalConnect/csd-datetime-explicit

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

34 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

CalConnect Standard: Date and time — Explicit representation

This work item belongs to TC DATETIME.

Build Status

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:

Fetching the document

git clone https://gitlab.com/calconnect/csd-datetime-explicit/

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 clean all

The following outputs will be built:

Iterating the document

make html
open csd-*.html

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages