7016175: HTML generated from new JavaDoc has tags added from makefile

Reviewed-by: jjg
2 files changed