Ludovic Courtès, on dim. 05 nov. 2017 18:37:06 +0100, wrote: > Samuel Thibault <samuel.thiba...@gnu.org> skribis: > > People find > > https://www.gnu.org/software/hurd/users-guide/using_gnuhurd.html#dir > > as documentation for the Hurd, which is just antique. Does anybody know > > how to update this? > > See the bits about “Webpages repository” at > <https://savannah.gnu.org/cvs/?group=hurd>. Essentially you need to > commit HTML pages to CVS (!) and they are eventually updated on gnu.org. > > To generate Texinfo manual web pages similar to > <https://gnu.org/s/guix/manual>, you can use the gendocs.sh script from > Gnulib, which is quite convenient.
Actually there is a Makefile to generate the files. However, it seems using_gnuhurd.texi is not the same as hurd.texi: there is a lot in common, but there are also large part which are not the same, so some merging would be needed... Samuel
