This adds the gem for redirecting and applies it to the three files that obviously need it (the main page and the Specifications download page).
Note that jekyll respects URL case so we need to include common case variations in the redirects.
This works on a local system, but the redirected URL is always to the local server, even if served from another host. So there is a problem with it, but it likely syntactically about right, subject to proper configuration. This PR removes site.hostname setting from the _config.yml since it does not seem necessary for current behavior (and it will let whomever tries to fix this start with a clean slate).
I am not marking this as a draft PR since it works on local servers and probably needs something in the infrastructure changed to work properly (perhaps just an issue with 'jekyll serve -H 0.0.0.0:4000' that we won't see on a live site.
Subject to these caveats, I believe this satisfies issue #47. We could determine additional pages need old site redirects, but these are the ones that come to mind for me.
This adds the gem for redirecting and applies it to the three files that obviously need it (the main page and the Specifications download page).
Note that jekyll respects URL case so we need to include common case variations in the redirects.
This works on a local system, but the redirected URL is always to the local server, even if served from another host. So there is a problem with it, but it likely syntactically about right, subject to proper configuration. This PR removes site.hostname setting from the _config.yml since it does not seem necessary for current behavior (and it will let whomever tries to fix this start with a clean slate).
I am not marking this as a draft PR since it works on local servers and probably needs something in the infrastructure changed to work properly (perhaps just an issue with 'jekyll serve -H 0.0.0.0:4000' that we won't see on a live site.
Subject to these caveats, I believe this satisfies issue #47. We could determine additional pages need old site redirects, but these are the ones that come to mind for me.