diff options
| author | Pierre Letouzey | 2014-12-09 09:40:19 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2014-12-09 12:14:41 +0100 |
| commit | 6846c43b3513cbb984c6499ff59c59e20aaeb505 (patch) | |
| tree | 20f406dad2a936df26430a1af5b5f18af0093a73 /doc/common/styles/html/coqremote/cover.html | |
| parent | ef1dfb4501fe8bb110343644f43243737e23e5aa (diff) | |
refman: remove ?uri=referer in urls pointing to validator.w3.org
Unfortunately, these ?uri=referer parameters do not work correctly
now that coq.inria.fr forces the switch to https before answering
any document. See: http://validator.w3.org/docs/help.html#faq-referer
I currently see no workaround for that, apart from generating links
like ?uri=http://the.real.url/of/my/page, which would be quite painful.
For now, users interested in checking the validity of our pages
will have to copy-paste the url they want to check after clicking
on the validator button.
Diffstat (limited to 'doc/common/styles/html/coqremote/cover.html')
| -rw-r--r-- | doc/common/styles/html/coqremote/cover.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html index e0951cd3d2..5b2fd152da 100644 --- a/doc/common/styles/html/coqremote/cover.html +++ b/doc/common/styles/html/coqremote/cover.html @@ -106,8 +106,8 @@ <div id="nav-footer"> <ul class="links-menu-footer"> <li><a href="mailto:coq-www_@_inria.fr">webmaster</a></li> - <li><a href="http://validator.w3.org/check?uri=referer">xhtml valid</a></li> - <li><a href="http://jigsaw.w3.org/css-validator/check/referer">CSS valid</a></li> + <li><a href="http://validator.w3.org/">xhtml valid</a></li> + <li><a href="http://jigsaw.w3.org/css-validator/">CSS valid</a></li> </ul> </div> |