hg: jdk-updates/jdk13u-dev: 8233383: Various minor fixes

[yan at azul.com]

Changeset: 793528670b6c
Author:    ihse
Date:      2019-11-04 11:15 +0100
URL:       https://hg.openjdk.java.net/jdk-updates/jdk13u-dev/rev/793528670b6c

8233383: Various minor fixes
Reviewed-by: erikj

! doc/building.html
! doc/building.md
- make/GensrcModuleInfo.gmk
! make/Main.gmk
! make/UpdateBuildDocs.gmk
! make/autoconf/configure.ac
! make/autoconf/flags-cflags.m4
! make/common/JavaCompilation.gmk
+ make/gensrc/GensrcModuleInfo.gmk