Hi Mosè, Mosè Giordano <m...@gnu.org> writes:
> I'm currently away and can't push to the website repository. If you > want to give it a go yourself before I get back (probably later next > week), you can follow the instructions in the "Website" section of the > `admin/release-process.org' file. If you don't need to update the > manual you only need to edit the files in the `src' directory, update > the generated files with the `genpages.sh' script and then push. Thanks for your response. I think there is no rush, that change can wait another week or two. And I admit I've never used cvs and would like to keep it that way ;-) Best, Arash
