search

coq / coq.github.io

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

What shall we do with the distrib directory? #88

Closed vbgl closed 4 years ago

vbgl commented 5 years ago

On the Coq website, the https://coq.inria.fr/distrib/ directory holds about 16 Gio of History. Do we want to keep it online? If so, where and how? In particular, it does not fit well with a move to a lighter web infrastructure as envisioned in #82.

Notice that recent releases are already available at https://github.com/coq/coq/releases/.

NB: I know that the manual of the current version is also stored in that directory; it does not count as “History” and I’m taking care of integrating it to the reworked website. Thus this is not the matter of this PR. Thanks.

Suggestions welcome.

Zimmi48 commented 5 years ago

I was going to suggest relying on https://web.archive.org/ to store the old parts of the website. However, it seems like a robots.txt file is actually preventing the Wayback Machine from doing that! (check out https://web.archive.org/save/http://coq.inria.fr/distrib/).

Zimmi48 commented 5 years ago

@maximedenes It seems that the strategy that has been follow is to not rely exclusively on GH pages so this issue and #82 could be closed now, right?

maximedenes commented 5 years ago

It seems that the strategy that has been follow is to not rely exclusively on GH pages so this issue and #82 could be closed now, right?

The strategy is to make small steps. It is still not clear to me if we can target GitHub pages in the long run or not.

Zimmi48 commented 4 years ago

I suggest closing these issues because we are not planning any specific action right now. The information that is in there is not lost when the issues are closed.