diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2020-06-06 22:42:16 +0300 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2021-09-20 16:06:46 +0200 |
commit | 2181ec73117f2e18cc622ead6256c8104b631214 (patch) | |
tree | c9d1bb2a8d3140b6cc6dd162be8129f14e38a717 /cli/doc/guide/guide.html2ps | |
parent | a599248e9dfab9f5d57c06bed56f75941cb00047 (diff) |
Use ad hoc recipe for parsing code and documentation generating
The overall approach is to store pre-generated bootstrap options.?xx
and cli.{1,xhtml} and automatically update them in the development
build (config.cli.develop=true). See README.md in the root of the
repository for details.
Diffstat (limited to 'cli/doc/guide/guide.html2ps')
-rw-r--r-- | cli/doc/guide/guide.html2ps | 63 |
1 files changed, 0 insertions, 63 deletions
diff --git a/cli/doc/guide/guide.html2ps b/cli/doc/guide/guide.html2ps deleted file mode 100644 index a691002..0000000 --- a/cli/doc/guide/guide.html2ps +++ /dev/null @@ -1,63 +0,0 @@ -@html2ps { - option { - toc: hb; - colour: 1; - hyphenate: 1; - titlepage: 1; - } - - datefmt: "%B %Y"; - - titlepage { - content: " -<div align=center> - <h1><big>CLI Language</big></h1> - <h1><big>Getting Started Guide</big></h1> - <h1> </h1> - <h1> </h1> - <h1> </h1> - <h1> </h1> - <h1> </h1> - <h1> </h1> -</div> - <p>Copyright © 2009-2020 Code Synthesis Tools CC.</p> - - <p>Permission is granted to copy, distribute, and/or modify this document - under the terms of the - <a href='http://www.codesynthesis.com/licenses/mit.txt'>MIT License</a>. - </p> - - <p>This document is available in the following formats: - <a href='http://www.codesynthesis.com/projects/cli/doc/guide/index.xhtml'>XHTML</a>, - <a href='http://www.codesynthesis.com/projects/cli/doc/guide/cli-guide.pdf'>PDF</a>, and - <a href='http://www.codesynthesis.com/projects/cli/doc/guide/cli-guide.ps'>PostScript</a>.</p>"; - } - - toc { - indent: 2em; - } - - header { - odd-right: $H; - even-left: $H; - } - - footer { - odd-left: $D; - odd-center: $T; - odd-right: $N; - - even-left: $N; - even-center: $T; - even-right: $D; - } -} - -body { - font-size: 12pt; - text-align: justify; -} - -pre { - font-size: 10pt; -} |