Find a file
Martin Liška a4e98268bb Remove properly tracked config file from .gitignore & add support for skipping of link-checking (#2023)
* Remove properly tracked config file from .gitignore

The file is part of the git history and is a configuration file.

Fixes: #2018

* Add  env. variable support

* Refactoring

* Really skip linkcheck if requested
2024-12-29 13:23:49 -08:00
src/doc/rustc-dev-guide Remove properly tracked config file from .gitignore & add support for skipping of link-checking (#2023) 2024-12-29 13:23:49 -08:00