Procedure for Updating the GDB Website
This procedure applies to the HTML pages for the GDB website, and not this wiki.
Two Websites, Two Repositories
The GDB website is actually hosted at two URLs:
The contents of the website should be completely identical, but each website is fed from its own repository.
For the sourceware website, the sources are managed in the htdocs CVS repository, which can be fetched as follow:
% cvs -d :ext:YOURACCOUNT@sourceware.org:/cvs/gdb co htdocs
For the gnu.org website, the sources are managed via http://savannah.gnu.org/projects/gdb. Please follow the site's instruction on how to fetch sources and get commit approval.
In both cases, checking a change in immediately triggers the update of the corresponding website.
- Make the change using either of the two CVS repositories.
Update the "Last Updated" dates for all HTML files that have been modifed.
This is automatically done by running the index.sh script at the root of the repository, using the name(s) of the html file(s) to update as argument.
Unless the changes are obvious in nature, get the change approved by sending a patch to gdb-patches (AT sourceware DOT org).
- Once approved, commit your patch.
- Replicate your patch to the other CVS repository in order to keep the two websites in sync.