Closed kevin-bates closed 1 year ago
Looks like the link referenced in the docs for GNU make has moved or been removed.
The check links CI job produces this message:
check links
FAILED docs/source/contributors/devinstall.md::/home/runner/work/gateway_provisioners/gateway_provisioners/docs/source/contributors/devinstall.md <a href=https://www.gnu.org/software/make/> 1 failed, 4 deselected, 2 warnings in 0.42s
The doc build should succeed and the a link to GNU make should be valid.
This was a "glitch", probably maintenance on the gnu.org site or something. Closing...
Description
Looks like the link referenced in the docs for GNU make has moved or been removed.
Reproduce
The
check links
CI job produces this message:Expected behavior
The doc build should succeed and the a link to GNU make should be valid.