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.

diff --git a/doc/src/sgml/legal.sgml b/doc/src/sgml/legal.sgml
index 1c40ec47ee304765c8b43f0bfad212ce7579420c..0562eb570303487e0630588ef672e314e813895d 100644 (file)
--- 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>