@html2ps { option { toc: hb; colour: 1; hyphenate: 1; titlepage: 1; } datefmt: "%B %Y"; titlepage { content: "
build2
Toolchain IntroductionCopyright © 2014-2016 Code Synthesis Ltd
Permission is granted to copy, distribute and/or modify this document under
the terms of the MIT License.
Revision $[version], $D
This revision of the document describes the build2
toolchain
$[version].x
series.