aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/common/styles
diff options
context:
space:
mode:
authorGravatar Pierre Letouzey <pierre.letouzey@inria.fr>2014-12-09 09:40:19 +0100
committerGravatar Pierre Letouzey <pierre.letouzey@inria.fr>2014-12-09 12:14:41 +0100
commit6846c43b3513cbb984c6499ff59c59e20aaeb505 (patch)
tree20f406dad2a936df26430a1af5b5f18af0093a73 /doc/common/styles
parentef1dfb4501fe8bb110343644f43243737e23e5aa (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')
-rw-r--r--doc/common/styles/html/coqremote/cover.html4
-rw-r--r--doc/common/styles/html/coqremote/styles.hva4
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html
index e0951cd3d..5b2fd152d 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>
diff --git a/doc/common/styles/html/coqremote/styles.hva b/doc/common/styles/html/coqremote/styles.hva
index bf093948f..413f3bf62 100644
--- a/doc/common/styles/html/coqremote/styles.hva
+++ b/doc/common/styles/html/coqremote/styles.hva
@@ -69,8 +69,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>