summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2020-02-18 13:59:58 (GMT)
committerBoris Kolpackov <boris@codesynthesis.com>2020-02-18 13:59:58 (GMT)
commit5d12805f877ff931b1195789e0cb0dae2ee97479 (patch)
tree9137f51dddae848c24cfcc73aa26e1097909214e
parent8ff379b5eb764e550aad7bc182941bd803b2c8df (diff)
Fix copyright substitution in html2ps machineryHEADmaster
-rw-r--r--doc-prologue.xhtml1
-rw-r--r--doc.html2ps2
2 files changed, 2 insertions, 1 deletions
diff --git a/doc-prologue.xhtml b/doc-prologue.xhtml
index ee4b0cb..0b697d0 100644
--- a/doc-prologue.xhtml
+++ b/doc-prologue.xhtml
@@ -6,6 +6,7 @@
<meta name="version" content="$version$"/>
<meta name="subject" content="$subject$"/>
<meta name="title" content="$title$"/>
+ <meta name="copyright" content="$copyright$"/>
<title>The build2 $title$</title>
diff --git a/doc.html2ps b/doc.html2ps
index 3294a90..c0dd1fa 100644
--- a/doc.html2ps
+++ b/doc.html2ps
@@ -22,7 +22,7 @@
<h1>&nbsp;</h1>
<h1>&nbsp;</h1>
</div>
- <p>Copyright &#169; $copyright$.<br/>
+ <p>Copyright &#169; $[copyright].<br/>
Permission is granted to copy, distribute and/or modify this document under
the terms of the MIT License.</p>