summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut <peter_e@gmx.net>2013-06-21 22:48:06 -0400
committerPeter Eisentraut <peter_e@gmx.net>2013-06-21 22:53:24 -0400
commit0b5a5c8e05e6ebc5923375b056885c6e9934ee31 (patch)
tree326cf7e3f388a0d14b9f402f883bef043281f881
parentb3b2ea4ad799f5b0e9e0711d23a884102f2d9a66 (diff)
doc: Fix date in EPUB manifest
If there is no <date> element, the publication date for the EPUB manifest is taken from the copyright year. But something like "1996-2013" is not a legal date specification. So the EPUB output currently fails epubcheck. Put in a separate <date> element with the current year. Put it in legal.sgml, because copyright.pl already instructs to update that manually, so it hopefully won't be missed.
-rw-r--r--doc/src/sgml/legal.sgml2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/src/sgml/legal.sgml b/doc/src/sgml/legal.sgml
index 1c40ec47ee3..0562eb57030 100644
--- a/doc/src/sgml/legal.sgml
+++ b/doc/src/sgml/legal.sgml
@@ -1,5 +1,7 @@
<!-- doc/src/sgml/legal.sgml -->
+<date>2013</date>
+
<copyright>
<year>1996-2013</year>
<holder>The PostgreSQL Global Development Group</holder>