Re: Broken links in online HTML manual

On 3/29/22 16:40, Jacob Bachmeyer wrote: 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? Yeah, I had to remember too, it's been awhile since

Re: Broken links in online HTML manual

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/Glo

Re: Broken links in online HTML manual

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-fil

Broken links in online HTML manual

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