|
From: | Jacob Bachmeyer |
Subject: | Re: Broken links in online HTML manual |
Date: | Tue, 29 Mar 2022 17:40:36 -0500 |
User-agent: | Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0 |
Rob Savoye wrote:
On 3/29/22 04:13, Jonathan Wakely wrote: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.htmlSeveral other pages of the manual are missing too:https://www.gnu.org/software/dejagnu/manual/Running-other-DejaGnu-commands.htmlI just updated the HTML manual pages on gnu.org, but still get a 404 on the config files. We'll have to look into that. I did add all the new pages though as the first step.- rob -
They seem to all be there now; thanks for taking care of this, Rob. (The actual update to the Web server has a small delay after the CVS commit on Savannah.)
Apparently I somehow missed adding the new nodes to the website CVS repository when updating the manual for 1.6.3. Is there a different command for adding files vs. updating existing files in CVS?
I have also noticed that I had forgotten to update the PDF version of the manual; this has just now been done (and added to my release checklist). While glancing over the new PDF, I noticed a small formatting error due to the use of straight quotes around 'make check' in a manual heading; for now I have fixed the quotes to `make check' in Git master, but there might be an appropriate Texinfo marking command to use for this -- other similar contexts use those instead of direct quote marks.
-- Jacob
[Prev in Thread] | Current Thread | [Next in Thread] |