hg: jdk/sandbox: Add specs post processing to Docs.gmk

[erik.joelsson at oracle.com]

Changeset: 40c87d67e9f2
Author:    erikj
Date:      2019-05-22 12:13 -0700
URL:       http://hg.openjdk.java.net/jdk/sandbox/rev/40c87d67e9f2

Add specs post processing to Docs.gmk

! make/Docs.gmk
! make/Main.gmk
! make/ToolsJdk.gmk
! make/jdk/src/classes/build/tools/fixuppandoc/Main.java