RFR: S,13 JDK-8226628 The copyright footer should be enclosed in <footer>

[Jonathan Gibbons]

Please review a small change to make/Docs.gmk so that the copyright 
footer added to specs pages is enclosed in <footer>...</footer>.

JBS: https://bugs.openjdk.java.net/browse/JDK-8226628

-- Jon


$ hg diff -R open
diff -r 179204eb9444 make/Docs.gmk
--- a/make/Docs.gmk     Fri Jun 21 12:09:07 2019 -0700
+++ b/make/Docs.gmk     Fri Jun 21 17:14:56 2019 -0700
@@ -532,7 +532,7 @@
  # file. The number 0-2 below represent how many extra directory levels 
down
  # below the specs dir the specs html file is located. Each file name is
  # stored in a variable SPECS_BOTTOM_FILE_$n where $n is 0, 1 or 2.
-SPECS_BOTTOM = <hr/>$(COPYRIGHT_BOTTOM)
+SPECS_BOTTOM = <footer><hr/>$(COPYRIGHT_BOTTOM)</footer>
  # The legal dir is one ../ below the specs dir, so start with one ../.
  specs_bottom_rel_path := ../
  $(foreach n, 0 1 2, \