opam
opam copied to clipboard
coq
Proposal for a default web page for contribs
Example at http://pauillac.inria.fr/~herbelin/tmp//aac-tactics/
Advantages:
- more welcoming than the github page
- possibility to browse files with links to stdlib and other packages from coq-contribs
Inconvenients:
- some redundancies with the info at https://coq.inria.fr/opam/www/ (but maybe not more than for packages which have an ad hoc web page)
I'm not web expert at all. Feel free to improve.
The objective, jointly with Enrico, is to commit these pages as github pages.
In the absence of comments, I'm going to commit these pages and the building scripts within a few days.
https://validator.w3.org/check?uri=http%3A%2F%2Fpauillac.inria.fr%2F~herbelin%2Ftmp%2F%2Faac-tactics%2Fv8.5%2FAACTactics.html&charset=%28detect+automatically%29&doctype=Inline&group=0
I don't have the time to look into it today, sorry. But in any case, I think we should review the building scripts. There might be security concerns here. I've said this before, but I am not sure we have enough resources to spend on this kind of web development. The situation might improve in a near future, though. Is this only for "contribs" or for other packages as well?
It is currently only "contribs" but virtually any opam package which would like to take benefit of that.
Really, do you think there are security concerns in using <u> or <br>?
Yes, we don't have enough resources, that's sure, and we need to look for more resources.
The building scripts are the ones already used in building coq.inria.fr/contribs (the<u> and <br> are from me because I did not want to spend time on css).
These questions aside, does the approach look good to you?
@herbelin I don't know if you have time to continue working on the scripts but personally I don't have a problem with it, I think providing a "default" web view would be nice.
@mattam82: I did not work on it for months. I had a first version using Jean-Marc's script in python. I had some worries with making a nicely-looking html table but this should be fixable with a bit of work. Then, the python and shell scripts I wrote will have to be cleaned because I hacked them too much for them being considered stable scripts. Don't know when it'll come back at top of my priority list, so if anyone is willing to look at the thing, no problem about that.