On Wed, Apr 14, 2021 at 05:45:15PM +0200, Ludovic Courtès wrote:
> I propose to make the site public tomorrow around this time:
> date --date="2021-04-15 14:00:00 CEST"
> At that point, <https://gnu.tools>
> point to the new web site (Mark will do the switcheroo).
The switcheroo wasn't that hard. The existing page was static
html. Haunt generates a directory full of static files. So all
was really needed was to change the DocumentRoot. I also took
oppertunity to simply redirect www.gnu.tools
to gnu.tools so
everything just has one URL (they one without the www is the
Excellent! Thanks to all of you for the productive collaboration!