Bug 578307: Remove useless in documentation html files Change-Id: If9b2058b1ca682f029629d2a8fdbe137aad70596 Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.common/+/189879 Tested-by: Alexander Kurtakov <akurtako@redhat.com> Reviewed-by: Alexander Kurtakov <akurtako@redhat.com>