From 6846c43b3513cbb984c6499ff59c59e20aaeb505 Mon Sep 17 00:00:00 2001 From: Pierre Letouzey Date: Tue, 9 Dec 2014 09:40:19 +0100 Subject: 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. --- doc/common/styles/html/coqremote/cover.html | 4 ++-- doc/common/styles/html/coqremote/styles.hva | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'doc/common') 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 @@ 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 @@ -- cgit v1.2.3