hg: jdk9/dev: 8175825: Stop including pubs repo

[magnus.ihse.bursie at oracle.com]

Changeset: 69879afbd98f
Author:    ihse
Date:      2017-05-12 19:09 +0200
URL:       http://hg.openjdk.java.net/jdk9/dev/rev/69879afbd98f

8175825: Stop including pubs repo
Reviewed-by: erikj

! common/autoconf/generated-configure.sh
! common/autoconf/spec.gmk.in
! common/bin/hgforest.sh
! common/doc/building.html
! common/doc/testing.html
+ make/Docs.gmk
- make/Javadoc.gmk
! make/Main.gmk