summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--man-epilogue.17
-rw-r--r--man-epilogue.xhtml12
-rw-r--r--man-prologue.16
-rw-r--r--man-prologue.xhtml118
4 files changed, 143 insertions, 0 deletions
diff --git a/man-epilogue.1 b/man-epilogue.1
new file mode 100644
index 0000000..bc8c11f
--- /dev/null
+++ b/man-epilogue.1
@@ -0,0 +1,7 @@
+.SH BUGS
+Send bug reports to the users@build2.org mailing list.
+.SH COPYRIGHT
+Copyright (c) 2014-2016 Code Synthesis Ltd
+
+Permission is granted to copy, distribute and/or modify this document under
+the terms of the MIT License.
diff --git a/man-epilogue.xhtml b/man-epilogue.xhtml
new file mode 100644
index 0000000..777139e
--- /dev/null
+++ b/man-epilogue.xhtml
@@ -0,0 +1,12 @@
+ <h1>BUGS</h1>
+
+ <p>Send bug reports to the
+ <a href="mailto:users@build2.org">users@build2.org</a> mailing list.</p>
+
+</div>
+
+<div id="footer">&#169; 2014-2016 Code Synthesis Ltd<br/>
+ Distributed under the terms of the MIT License</div>
+
+</body>
+</html>
diff --git a/man-prologue.1 b/man-prologue.1
new file mode 100644
index 0000000..2fef099
--- /dev/null
+++ b/man-prologue.1
@@ -0,0 +1,6 @@
+.\" Process this file with
+.\" groff -man -Tascii $name$.$section$
+.\"
+.TH $name$ $section$ "$date$" "$project$ $version$"
+.SH NAME
+\fB$name$\fR \- $summary$
diff --git a/man-prologue.xhtml b/man-prologue.xhtml
new file mode 100644
index 0000000..d30b42c
--- /dev/null
+++ b/man-prologue.xhtml
@@ -0,0 +1,118 @@
+<!DOCTYPE html>
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+ <meta charset="UTF-8"/>
+ <title>$name$($section$) $project$ $version$</title>
+
+ <!-- @@ Need to style default ul, ol -->
+
+ <style type="text/css">
+ html
+ {
+ font-family: "Helvetica Neue", Helvetica, "Segoe UI", Arial, freesans, sans-serif;
+ font-weight: normal;
+ font-size: 18px;
+ line-height: 1.4em;
+
+ color: #333;
+ text-align: justify;
+ }
+
+ body {margin: 0;}
+ body {min-width: 17em;}
+ @media only screen and (min-width: 360px)
+ {
+ body {min-width: 19em;}
+ }
+
+ #content
+ {
+ max-width: 40em;
+ margin: 0 auto 0 auto;
+ padding: 0 .4em 0 1.5em;
+ }
+
+ #footer
+ {
+ color: #666;
+ font-size: 0.833em;
+ line-height: 1.3em;
+ text-align: center;
+ margin: 2.2em 0 1em 0;
+ }
+
+ h1
+ {
+ font-weight: normal;
+ font-size: 1.58em;
+ line-height: 1.4em;
+
+ margin: 1.6em 0 .6em -.92em;
+ }
+
+ code, pre
+ {
+ font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
+ font-size: 0.92em;
+ }
+
+ /*
+ code
+ {
+ background-color: rgba(0, 0, 0, 0.04);
+ border-radius: 0.2em;
+ padding: .2em 0 .2em 0;
+ }
+
+ code::before
+ {
+ letter-spacing: -0.2em;
+ content: "\00a0";
+ }
+
+ code::after
+ {
+ letter-spacing: -0.2em;
+ content: "\00a0";
+ }
+ */
+
+ pre
+ {
+ background-color: #f7f7f7;
+ border-radius: 0.2em;
+ padding: .8em .4em .8em .4em;
+ margin: .2em -.4em .2em -.4em; /* Use margins of #content. */
+ }
+
+ dl {
+ margin: 1em 0 1em 0;
+ }
+
+ dl dt {
+ margin: 0 0 0 0;
+ }
+
+ dl dd {
+ margin: 0 0 0 1.8em;
+ }
+
+ .options {
+ margin: 1em 0 1em 0;
+ }
+
+ .options dt {
+ margin: 1em 0 0 0;
+ }
+
+ .options dd {
+ margin: .1em 0 0 4.5em;
+ }
+ </style>
+</head>
+<body>
+<div id="content">
+
+ <h1>NAME</h1>
+
+ <p><b><code>$name$</code></b> &#8211; $summary$</p>