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 that
was really needed was to change the DocumentRoot. I also took the
oppertunity to simply redirect www.gnu.tools
to gnu.tools so
everything just has one URL (they one without the www is the canonical