Reorganise into source, assets and libraries

Everything the build generates now lands in build/, so a clean is a
single remove and the source tree stays free of build output.

4 files changed, 314 insertions, 0 deletions

diff --git a/extensions/html-converters/man2html b/extensions/html-converters/man2htmlnew file mode 100755index 0000000..0ef7884--- /dev/null+++ b/extensions/html-converters/man2html@@ -0,0 +1,4 @@+#!/bin/sh+echo "<div style=\"font-family: monospace\">"+groff -mandoc -T html -P -r -P -l | egrep -v '(<html>|<head>|<meta|<title>|</title>|</head>|<body>|</body>|</html>|<!DOCTYPE|"http://www.w3.org)'+echo "</div>"
diff --git a/extensions/html-converters/man2html b/extensions/html-converters/man2html
new file mode 100755
index 0000000..0ef7884
--- /dev/null
+++ b/extensions/html-converters/man2html
@@ -0,0 +1,4 @@
+#!/bin/sh
+echo "<div style=\"font-family: monospace\">"
+groff -mandoc -T html -P -r -P -l | egrep -v '(<html>|<head>|<meta|<title>|</title>|</head>|<body>|</body>|</html>|<!DOCTYPE|"http://www.w3.org)'
+echo "</div>"
diff --git a/extensions/html-converters/md2html b/extensions/html-converters/md2htmlnew file mode 100755index 0000000..59f43a8--- /dev/null+++ b/extensions/html-converters/md2html@@ -0,0 +1,304 @@+#!/usr/bin/env python3+import markdown+import sys+import io+from pygments.formatters import HtmlFormatter+from markdown.extensions.toc import TocExtension+sys.stdin = io.TextIOWrapper(sys.stdin.buffer, encoding='utf-8')+sys.stdout = io.TextIOWrapper(sys.stdout.buffer, encoding='utf-8')+sys.stdout.write('''+<style>+.markdown-body {+    font-size: 14px;+    line-height: 1.6;+    overflow: hidden;+}+.markdown-body>*:first-child {+    margin-top: 0 !important;+}+.markdown-body>*:last-child {+    margin-bottom: 0 !important;+}+.markdown-body a.absent {+    color: #c00;+}+.markdown-body a.anchor {+    display: block;+    padding-left: 30px;+    margin-left: -30px;+    cursor: pointer;+    position: absolute;+    top: 0;+    left: 0;+    bottom: 0;+}+.markdown-body h1, .markdown-body h2, .markdown-body h3, .markdown-body h4, .markdown-body h5, .markdown-body h6 {+    margin: 20px 0 10px;+    padding: 0;+    font-weight: bold;+    -webkit-font-smoothing: antialiased;+    cursor: text;+    position: relative;+}+.markdown-body h1 .mini-icon-link, .markdown-body h2 .mini-icon-link, .markdown-body h3 .mini-icon-link, .markdown-body h4 .mini-icon-link, .markdown-body h5 .mini-icon-link, .markdown-body h6 .mini-icon-link {+    display: none;+    color: #000;+}+.markdown-body h1:hover a.anchor, .markdown-body h2:hover a.anchor, .markdown-body h3:hover a.anchor, .markdown-body h4:hover a.anchor, .markdown-body h5:hover a.anchor, .markdown-body h6:hover a.anchor {+    text-decoration: none;+    line-height: 1;+    padding-left: 0;+    margin-left: -22px;+    top: 15%;+}+.markdown-body h1:hover a.anchor .mini-icon-link, .markdown-body h2:hover a.anchor .mini-icon-link, .markdown-body h3:hover a.anchor .mini-icon-link, .markdown-body h4:hover a.anchor .mini-icon-link, .markdown-body h5:hover a.anchor .mini-icon-link, .markdown-body h6:hover a.anchor .mini-icon-link {+    display: inline-block;+}+div#cgit .markdown-body h1 a.toclink, div#cgit .markdown-body h2 a.toclink, div#cgit .markdown-body h3 a.toclink, div#cgit .markdown-body h4 a.toclink, div#cgit .markdown-body h5 a.toclink, div#cgit .markdown-body h6 a.toclink {+    color: black;+}+.markdown-body h1 tt, .markdown-body h1 code, .markdown-body h2 tt, .markdown-body h2 code, .markdown-body h3 tt, .markdown-body h3 code, .markdown-body h4 tt, .markdown-body h4 code, .markdown-body h5 tt, .markdown-body h5 code, .markdown-body h6 tt, .markdown-body h6 code {+    font-size: inherit;+}+.markdown-body h1 {+    font-size: 28px;+    color: #000;+}+.markdown-body h2 {+    font-size: 24px;+    border-bottom: 1px solid #ccc;+    color: #000;+}+.markdown-body h3 {+    font-size: 18px;+}+.markdown-body h4 {+    font-size: 16px;+}+.markdown-body h5 {+    font-size: 14px;+}+.markdown-body h6 {+    color: #777;+    font-size: 14px;+}+.markdown-body p, .markdown-body blockquote, .markdown-body ul, .markdown-body ol, .markdown-body dl, .markdown-body table, .markdown-body pre {+    margin: 15px 0;+}+.markdown-body hr {+    border: 2px solid #ccc;+}+.markdown-body>h2:first-child, .markdown-body>h1:first-child, .markdown-body>h1:first-child+h2, .markdown-body>h3:first-child, .markdown-body>h4:first-child, .markdown-body>h5:first-child, .markdown-body>h6:first-child {+    margin-top: 0;+    padding-top: 0;+}+.markdown-body a:first-child h1, .markdown-body a:first-child h2, .markdown-body a:first-child h3, .markdown-body a:first-child h4, .markdown-body a:first-child h5, .markdown-body a:first-child h6 {+    margin-top: 0;+    padding-top: 0;+}+.markdown-body h1+p, .markdown-body h2+p, .markdown-body h3+p, .markdown-body h4+p, .markdown-body h5+p, .markdown-body h6+p {+    margin-top: 0;+}+.markdown-body li p.first {+    display: inline-block;+}+.markdown-body ul, .markdown-body ol {+    padding-left: 30px;+}+.markdown-body ul.no-list, .markdown-body ol.no-list {+    list-style-type: none;+    padding: 0;+}+.markdown-body ul li>:first-child, .markdown-body ul li ul:first-of-type, .markdown-body ul li ol:first-of-type, .markdown-body ol li>:first-child, .markdown-body ol li ul:first-of-type, .markdown-body ol li ol:first-of-type {+    margin-top: 0px;+}+.markdown-body ul li p:last-of-type, .markdown-body ol li p:last-of-type {+    margin-bottom: 0;+}+.markdown-body ul ul, .markdown-body ul ol, .markdown-body ol ol, .markdown-body ol ul {+    margin-bottom: 0;+}+.markdown-body dl {+    padding: 0;+}+.markdown-body dl dt {+    font-size: 14px;+    font-weight: bold;+    font-style: italic;+    padding: 0;+    margin: 15px 0 5px;+}+.markdown-body dl dt:first-child {+    padding: 0;+}+.markdown-body dl dt>:first-child {+    margin-top: 0px;+}+.markdown-body dl dt>:last-child {+    margin-bottom: 0px;+}+.markdown-body dl dd {+    margin: 0 0 15px;+    padding: 0 15px;+}+.markdown-body dl dd>:first-child {+    margin-top: 0px;+}+.markdown-body dl dd>:last-child {+    margin-bottom: 0px;+}+.markdown-body blockquote {+    border-left: 4px solid #DDD;+    padding: 0 15px;+    color: #777;+}+.markdown-body blockquote>:first-child {+    margin-top: 0px;+}+.markdown-body blockquote>:last-child {+    margin-bottom: 0px;+}+.markdown-body table th {+    font-weight: bold;+}+.markdown-body table th, .markdown-body table td {+    border: 1px solid #ccc;+    padding: 6px 13px;+}+.markdown-body table tr {+    border-top: 1px solid #ccc;+    background-color: #fff;+}+.markdown-body table tr:nth-child(2n) {+    background-color: #f8f8f8;+}+.markdown-body img {+    max-width: 100%;+    -moz-box-sizing: border-box;+    box-sizing: border-box;+}+.markdown-body span.frame {+    display: block;+    overflow: hidden;+}+.markdown-body span.frame>span {+    border: 1px solid #ddd;+    display: block;+    float: left;+    overflow: hidden;+    margin: 13px 0 0;+    padding: 7px;+    width: auto;+}+.markdown-body span.frame span img {+    display: block;+    float: left;+}+.markdown-body span.frame span span {+    clear: both;+    color: #333;+    display: block;+    padding: 5px 0 0;+}+.markdown-body span.align-center {+    display: block;+    overflow: hidden;+    clear: both;+}+.markdown-body span.align-center>span {+    display: block;+    overflow: hidden;+    margin: 13px auto 0;+    text-align: center;+}+.markdown-body span.align-center span img {+    margin: 0 auto;+    text-align: center;+}+.markdown-body span.align-right {+    display: block;+    overflow: hidden;+    clear: both;+}+.markdown-body span.align-right>span {+    display: block;+    overflow: hidden;+    margin: 13px 0 0;+    text-align: right;+}+.markdown-body span.align-right span img {+    margin: 0;+    text-align: right;+}+.markdown-body span.float-left {+    display: block;+    margin-right: 13px;+    overflow: hidden;+    float: left;+}+.markdown-body span.float-left span {+    margin: 13px 0 0;+}+.markdown-body span.float-right {+    display: block;+    margin-left: 13px;+    overflow: hidden;+    float: right;+}+.markdown-body span.float-right>span {+    display: block;+    overflow: hidden;+    margin: 13px auto 0;+    text-align: right;+}+.markdown-body code, .markdown-body tt {+    margin: 0 2px;+    padding: 0px 5px;+    border: 1px solid #eaeaea;+    background-color: #f8f8f8;+    border-radius: 3px;+}+.markdown-body code {+    white-space: nowrap;+}+.markdown-body pre>code {+    margin: 0;+    padding: 0;+    white-space: pre;+    border: none;+    background: transparent;+}+.markdown-body .highlight pre, .markdown-body pre {+    background-color: #f8f8f8;+    border: 1px solid #ccc;+    font-size: 13px;+    line-height: 19px;+    overflow: auto;+    padding: 6px 10px;+    border-radius: 3px;+}+.markdown-body pre code, .markdown-body pre tt {+    margin: 0;+    padding: 0;+    background-color: transparent;+    border: none;+}+''')+sys.stdout.write(HtmlFormatter(style='pastie').get_style_defs('.highlight'))+sys.stdout.write('''+</style>   +''')+sys.stdout.write("<div class='markdown-body'>")+sys.stdout.flush()+# Note: you may want to run this through bleach for sanitization+markdown.markdownFromFile(+	output_format="html5",+	extensions=[+		"markdown.extensions.fenced_code",+		"markdown.extensions.codehilite",+		"markdown.extensions.tables",+		"markdown.extensions.sane_lists",+		TocExtension(anchorlink=True)],+	extension_configs={+		"markdown.extensions.codehilite":{"css_class":"highlight"}})+sys.stdout.write("</div>")
diff --git a/extensions/html-converters/md2html b/extensions/html-converters/md2html
new file mode 100755
index 0000000..59f43a8
--- /dev/null
+++ b/extensions/html-converters/md2html
@@ -0,0 +1,304 @@
+#!/usr/bin/env python3
+import markdown
+import sys
+import io
+from pygments.formatters import HtmlFormatter
+from markdown.extensions.toc import TocExtension
+sys.stdin = io.TextIOWrapper(sys.stdin.buffer, encoding='utf-8')
+sys.stdout = io.TextIOWrapper(sys.stdout.buffer, encoding='utf-8')
+sys.stdout.write('''
+<style>
+.markdown-body {
+    font-size: 14px;
+    line-height: 1.6;
+    overflow: hidden;
+}
+.markdown-body>*:first-child {
+    margin-top: 0 !important;
+}
+.markdown-body>*:last-child {
+    margin-bottom: 0 !important;
+}
+.markdown-body a.absent {
+    color: #c00;
+}
+.markdown-body a.anchor {
+    display: block;
+    padding-left: 30px;
+    margin-left: -30px;
+    cursor: pointer;
+    position: absolute;
+    top: 0;
+    left: 0;
+    bottom: 0;
+}
+.markdown-body h1, .markdown-body h2, .markdown-body h3, .markdown-body h4, .markdown-body h5, .markdown-body h6 {
+    margin: 20px 0 10px;
+    padding: 0;
+    font-weight: bold;
+    -webkit-font-smoothing: antialiased;
+    cursor: text;
+    position: relative;
+}
+.markdown-body h1 .mini-icon-link, .markdown-body h2 .mini-icon-link, .markdown-body h3 .mini-icon-link, .markdown-body h4 .mini-icon-link, .markdown-body h5 .mini-icon-link, .markdown-body h6 .mini-icon-link {
+    display: none;
+    color: #000;
+}
+.markdown-body h1:hover a.anchor, .markdown-body h2:hover a.anchor, .markdown-body h3:hover a.anchor, .markdown-body h4:hover a.anchor, .markdown-body h5:hover a.anchor, .markdown-body h6:hover a.anchor {
+    text-decoration: none;
+    line-height: 1;
+    padding-left: 0;
+    margin-left: -22px;
+    top: 15%;
+}
+.markdown-body h1:hover a.anchor .mini-icon-link, .markdown-body h2:hover a.anchor .mini-icon-link, .markdown-body h3:hover a.anchor .mini-icon-link, .markdown-body h4:hover a.anchor .mini-icon-link, .markdown-body h5:hover a.anchor .mini-icon-link, .markdown-body h6:hover a.anchor .mini-icon-link {
+    display: inline-block;
+}
+div#cgit .markdown-body h1 a.toclink, div#cgit .markdown-body h2 a.toclink, div#cgit .markdown-body h3 a.toclink, div#cgit .markdown-body h4 a.toclink, div#cgit .markdown-body h5 a.toclink, div#cgit .markdown-body h6 a.toclink {
+    color: black;
+}
+.markdown-body h1 tt, .markdown-body h1 code, .markdown-body h2 tt, .markdown-body h2 code, .markdown-body h3 tt, .markdown-body h3 code, .markdown-body h4 tt, .markdown-body h4 code, .markdown-body h5 tt, .markdown-body h5 code, .markdown-body h6 tt, .markdown-body h6 code {
+    font-size: inherit;
+}
+.markdown-body h1 {
+    font-size: 28px;
+    color: #000;
+}
+.markdown-body h2 {
+    font-size: 24px;
+    border-bottom: 1px solid #ccc;
+    color: #000;
+}
+.markdown-body h3 {
+    font-size: 18px;
+}
+.markdown-body h4 {
+    font-size: 16px;
+}
+.markdown-body h5 {
+    font-size: 14px;
+}
+.markdown-body h6 {
+    color: #777;
+    font-size: 14px;
+}
+.markdown-body p, .markdown-body blockquote, .markdown-body ul, .markdown-body ol, .markdown-body dl, .markdown-body table, .markdown-body pre {
+    margin: 15px 0;
+}
+.markdown-body hr {
+    border: 2px solid #ccc;
+}
+.markdown-body>h2:first-child, .markdown-body>h1:first-child, .markdown-body>h1:first-child+h2, .markdown-body>h3:first-child, .markdown-body>h4:first-child, .markdown-body>h5:first-child, .markdown-body>h6:first-child {
+    margin-top: 0;
+    padding-top: 0;
+}
+.markdown-body a:first-child h1, .markdown-body a:first-child h2, .markdown-body a:first-child h3, .markdown-body a:first-child h4, .markdown-body a:first-child h5, .markdown-body a:first-child h6 {
+    margin-top: 0;
+    padding-top: 0;
+}
+.markdown-body h1+p, .markdown-body h2+p, .markdown-body h3+p, .markdown-body h4+p, .markdown-body h5+p, .markdown-body h6+p {
+    margin-top: 0;
+}
+.markdown-body li p.first {
+    display: inline-block;
+}
+.markdown-body ul, .markdown-body ol {
+    padding-left: 30px;
+}
+.markdown-body ul.no-list, .markdown-body ol.no-list {
+    list-style-type: none;
+    padding: 0;
+}
+.markdown-body ul li>:first-child, .markdown-body ul li ul:first-of-type, .markdown-body ul li ol:first-of-type, .markdown-body ol li>:first-child, .markdown-body ol li ul:first-of-type, .markdown-body ol li ol:first-of-type {
+    margin-top: 0px;
+}
+.markdown-body ul li p:last-of-type, .markdown-body ol li p:last-of-type {
+    margin-bottom: 0;
+}
+.markdown-body ul ul, .markdown-body ul ol, .markdown-body ol ol, .markdown-body ol ul {
+    margin-bottom: 0;
+}
+.markdown-body dl {
+    padding: 0;
+}
+.markdown-body dl dt {
+    font-size: 14px;
+    font-weight: bold;
+    font-style: italic;
+    padding: 0;
+    margin: 15px 0 5px;
+}
+.markdown-body dl dt:first-child {
+    padding: 0;
+}
+.markdown-body dl dt>:first-child {
+    margin-top: 0px;
+}
+.markdown-body dl dt>:last-child {
+    margin-bottom: 0px;
+}
+.markdown-body dl dd {
+    margin: 0 0 15px;
+    padding: 0 15px;
+}
+.markdown-body dl dd>:first-child {
+    margin-top: 0px;
+}
+.markdown-body dl dd>:last-child {
+    margin-bottom: 0px;
+}
+.markdown-body blockquote {
+    border-left: 4px solid #DDD;
+    padding: 0 15px;
+    color: #777;
+}
+.markdown-body blockquote>:first-child {
+    margin-top: 0px;
+}
+.markdown-body blockquote>:last-child {
+    margin-bottom: 0px;
+}
+.markdown-body table th {
+    font-weight: bold;
+}
+.markdown-body table th, .markdown-body table td {
+    border: 1px solid #ccc;
+    padding: 6px 13px;
+}
+.markdown-body table tr {
+    border-top: 1px solid #ccc;
+    background-color: #fff;
+}
+.markdown-body table tr:nth-child(2n) {
+    background-color: #f8f8f8;
+}
+.markdown-body img {
+    max-width: 100%;
+    -moz-box-sizing: border-box;
+    box-sizing: border-box;
+}
+.markdown-body span.frame {
+    display: block;
+    overflow: hidden;
+}
+.markdown-body span.frame>span {
+    border: 1px solid #ddd;
+    display: block;
+    float: left;
+    overflow: hidden;
+    margin: 13px 0 0;
+    padding: 7px;
+    width: auto;
+}
+.markdown-body span.frame span img {
+    display: block;
+    float: left;
+}
+.markdown-body span.frame span span {
+    clear: both;
+    color: #333;
+    display: block;
+    padding: 5px 0 0;
+}
+.markdown-body span.align-center {
+    display: block;
+    overflow: hidden;
+    clear: both;
+}
+.markdown-body span.align-center>span {
+    display: block;
+    overflow: hidden;
+    margin: 13px auto 0;
+    text-align: center;
+}
+.markdown-body span.align-center span img {
+    margin: 0 auto;
+    text-align: center;
+}
+.markdown-body span.align-right {
+    display: block;
+    overflow: hidden;
+    clear: both;
+}
+.markdown-body span.align-right>span {
+    display: block;
+    overflow: hidden;
+    margin: 13px 0 0;
+    text-align: right;
+}
+.markdown-body span.align-right span img {
+    margin: 0;
+    text-align: right;
+}
+.markdown-body span.float-left {
+    display: block;
+    margin-right: 13px;
+    overflow: hidden;
+    float: left;
+}
+.markdown-body span.float-left span {
+    margin: 13px 0 0;
+}
+.markdown-body span.float-right {
+    display: block;
+    margin-left: 13px;
+    overflow: hidden;
+    float: right;
+}
+.markdown-body span.float-right>span {
+    display: block;
+    overflow: hidden;
+    margin: 13px auto 0;
+    text-align: right;
+}
+.markdown-body code, .markdown-body tt {
+    margin: 0 2px;
+    padding: 0px 5px;
+    border: 1px solid #eaeaea;
+    background-color: #f8f8f8;
+    border-radius: 3px;
+}
+.markdown-body code {
+    white-space: nowrap;
+}
+.markdown-body pre>code {
+    margin: 0;
+    padding: 0;
+    white-space: pre;
+    border: none;
+    background: transparent;
+}
+.markdown-body .highlight pre, .markdown-body pre {
+    background-color: #f8f8f8;
+    border: 1px solid #ccc;
+    font-size: 13px;
+    line-height: 19px;
+    overflow: auto;
+    padding: 6px 10px;
+    border-radius: 3px;
+}
+.markdown-body pre code, .markdown-body pre tt {
+    margin: 0;
+    padding: 0;
+    background-color: transparent;
+    border: none;
+}
+''')
+sys.stdout.write(HtmlFormatter(style='pastie').get_style_defs('.highlight'))
+sys.stdout.write('''
+</style>   
+''')
+sys.stdout.write("<div class='markdown-body'>")
+sys.stdout.flush()
+# Note: you may want to run this through bleach for sanitization
+markdown.markdownFromFile(
+	output_format="html5",
+	extensions=[
+		"markdown.extensions.fenced_code",
+		"markdown.extensions.codehilite",
+		"markdown.extensions.tables",
+		"markdown.extensions.sane_lists",
+		TocExtension(anchorlink=True)],
+	extension_configs={
+		"markdown.extensions.codehilite":{"css_class":"highlight"}})
+sys.stdout.write("</div>")
diff --git a/extensions/html-converters/rst2html b/extensions/html-converters/rst2htmlnew file mode 100755index 0000000..02d90f8--- /dev/null+++ b/extensions/html-converters/rst2html@@ -0,0 +1,2 @@+#!/bin/bash+exec rst2html.py --template <(echo -e "%(stylesheet)s\n%(body_pre_docinfo)s\n%(docinfo)s\n%(body)s")
diff --git a/extensions/html-converters/rst2html b/extensions/html-converters/rst2html
new file mode 100755
index 0000000..02d90f8
--- /dev/null
+++ b/extensions/html-converters/rst2html
@@ -0,0 +1,2 @@
+#!/bin/bash
+exec rst2html.py --template <(echo -e "%(stylesheet)s\n%(body_pre_docinfo)s\n%(docinfo)s\n%(body)s")
diff --git a/extensions/html-converters/txt2html b/extensions/html-converters/txt2htmlnew file mode 100755index 0000000..495eece--- /dev/null+++ b/extensions/html-converters/txt2html@@ -0,0 +1,4 @@+#!/bin/sh+echo "<pre>"+sed "s|&|\\&amp;|g;s|'|\\&apos;|g;s|\"|\\&quot;|g;s|<|\\&lt;|g;s|>|\\&gt;|g"+echo "</pre>"
diff --git a/extensions/html-converters/txt2html b/extensions/html-converters/txt2html
new file mode 100755
index 0000000..495eece
--- /dev/null
+++ b/extensions/html-converters/txt2html
@@ -0,0 +1,4 @@
+#!/bin/sh
+echo "<pre>"
+sed "s|&|\\&amp;|g;s|'|\\&apos;|g;s|\"|\\&quot;|g;s|<|\\&lt;|g;s|>|\\&gt;|g"
+echo "</pre>"