search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Coq's website 404 page is not found. #133

Closed Zimmi48 closed 4 years ago

Zimmi48 commented 4 years ago

Coq's Apache configuration files define a 404 page:

  ## Customized error messages.
  ErrorDocument 404 /notfound.html

in /etc/apache2/main.conf but this /notfound.html page does not exist. This leads the server to display a 404 page like:

The requested URL /static/notfound.html was not found on this server.

Additionally, a 404 Not Found error was encountered while trying to use an ErrorDocument to handle the request.

This is pretty lame...

Zimmi48 commented 4 years ago

I've just deleted this rule from the main configuration (/etc/apache2/main.conf).