Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add HTML redirect to each existing HTML file #57

Merged
merged 4 commits into from
Mar 19, 2024
Merged

Add HTML redirect to each existing HTML file #57

merged 4 commits into from
Mar 19, 2024

Commits on Mar 19, 2024

  1. Enable static HTML in conf 

    The html files need a publication date. The `DEFAULT_DATE` lets us use
the file system date.
    @achabotl
    achabotl committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    1d09c52 View commit details
    Browse the repository at this point in the history

  2. Add redirect for each HTML file

    @achabotl
    achabotl committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    3702088 View commit details
    Browse the repository at this point in the history

  3. Add temporary 404 page 

    Github should use it. That way, if someone tries to follow a link to a
PDF or a Bibtex file, they'll be redirected here, which will at least
tell where to look to find the files.
    @achabotl
    achabotl committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    85f6fd4 View commit details
    Browse the repository at this point in the history

  4. Remove superfluous proceedings subdir 

    This is a bug in the redirect creation script.
    @achabotl
    achabotl committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    6816d75 View commit details
    Browse the repository at this point in the history