O.K. Jeremy, thanks.
I'll do this part:
"While you're in fix-urls.sed, you should probably bump the version number for the GNOME docs to 3.8 and change the URL to help.gnome.org."
as part of this merge. The rest will be for some other day, as, at least to me, it seems as though it will be a saga.
« Back to merge proposal
O.K. Jeremy, thanks.
I'll do this part:
"While you're in fix-urls.sed, you should probably bump the version number for the GNOME docs to 3.8 and change the URL to help.gnome.org."
as part of this merge. The rest will be for some other day, as, at least to me, it seems as though it will be a saga.