diff options
| -rw-r--r-- | man-epilogue.1 | 7 | ||||
| -rw-r--r-- | man-epilogue.xhtml | 12 | ||||
| -rw-r--r-- | man-prologue.1 | 6 | ||||
| -rw-r--r-- | man-prologue.xhtml | 118 |
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">© 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> – $summary$</p> |