git: openjdk/jdk: master: 8362243: Devkit creation for Fedora base OS is broken

[Volkan Yazici]

Changeset: 1383b8ef
Branch: master
Author:    Volkan Yazici <vyazici at openjdk.org>
Date:      2025-08-20 13:14:04 +0000
URL:       https://git.openjdk.org/jdk/commit/1383b8ef87bcf3b2b498c883c81434bab8fe68fd

8362243: Devkit creation for Fedora base OS is broken

Reviewed-by: ihse, erikj, shade

! doc/building.html
! doc/building.md
! make/devkit/Makefile
! make/devkit/Tools.gmk