[jdk11u-dev] Integrated: 8273497: building.md should link to both md and html

[Christoph Langer]

On Fri, 10 Feb 2023 21:51:58 GMT, Christoph Langer <clanger at openjdk.org> wrote:

> Hi all,
> 
> This pull request contains a backport of [JDK-8273497](https://bugs.openjdk.org/browse/JDK-8273497), commit [a10bb08a](https://github.com/openjdk/jdk17u-dev/commit/a10bb08a4c187c6c0b21cafb25877895d885427e) from the [openjdk/jdk17u-dev](https://git.openjdk.org/jdk17u-dev) repository.
> 
> The commit being backported was authored by Ben Taylor on 29 Nov 2022 and had no reviewers.
> 
> Thanks!

This pull request has now been integrated.

Changeset: 2c47c45f
Author:    Christoph Langer <clanger at openjdk.org>
URL:       https://git.openjdk.org/jdk11u-dev/commit/2c47c45f0747e86a3b97384bea48107627ffd040
Stats:     5 lines in 2 files changed: 0 ins; 0 del; 5 mod

8273497: building.md should link to both md and html

Backport-of: a10bb08a4c187c6c0b21cafb25877895d885427e

-------------

PR: https://git.openjdk.org/jdk11u-dev/pull/1717