hg: jdk9/dev: 8180472: Pandoc should generate html5 from markdown

[magnus.ihse.bursie at oracle.com]

Changeset: 9c70f25ca307
Author:    ihse
Date:      2017-05-17 12:42 +0200
URL:       http://hg.openjdk.java.net/jdk9/dev/rev/9c70f25ca307

8180472: Pandoc should generate html5 from markdown
Reviewed-by: erikj

! common/doc/building.html
! common/doc/testing.html
! make/common/ProcessMarkdown.gmk