search

coq / coq.github.io

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

stdlib / library duplicate urls #188

Closed SkySkimmer closed 10 months ago

SkySkimmer commented 2 years ago

One of https://coq.inria.fr/library/Coq.Init.Wf.html and https://coq.inria.fr/stdlib/Coq.Init.Wf.html should not exist or should redirect to the other.

Zimmi48 commented 2 years ago

It seems reasonable to redirect the former to the latter. However, there's also https://coq.inria.fr/distrib/current/stdlib/Coq.Init.Wf.html. Should we make this the canonical URL and remove the short version? (Same question for https://coq.inria.fr/refman/ vs https://coq.inria.fr/distrib/current/refman/.) Or is there another way of marking two pages as identical but keeping alternative URLs for them?

Zimmi48 commented 10 months ago

Now the canonical URL for the documentation is https://coq.inria.fr/doc/<version>/stdlib and all the other pages redirect to this one.