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, \
