|
From: | Jonathan Wakely |
Subject: | Broken links in online HTML manual |
Date: | Tue, 29 Mar 2022 11:13:18 +0100 |
All the links for configuration files at https://www.gnu.org/software/dejagnu/manual/index.html give a 404 error: https://www.gnu.org/software/dejagnu/manual/Local-configuration-file.html https://www.gnu.org/software/dejagnu/manual/Global-configuration-file.html https://www.gnu.org/software/dejagnu/manual/Board-configuration-file.html https://www.gnu.org/software/dejagnu/manual/Configuration-file-values.html Several other pages of the manual are missing too: https://www.gnu.org/software/dejagnu/manual/Running-other-DejaGnu-commands.html This might be something to do with texinfo munging special characters in node names.
[Prev in Thread] | Current Thread | [Next in Thread] |