[Pkg-octave-devel] Updating our web pages

[Jordi Gutiérrez Hermoso]

Our web pages are in dire need of maintenance. I'm going to begin
there. I'm mostly going to get rid of the obsolete svn advice and
replace it with git advice, plus prune stuff that is obviously ancient
and obsolete.

Just to make sure, other than committing to web.git, what else needs
to happen for the changes to be reflected in the webpage?

Thanks,
- Jordi G. H.