From e3b64e8f5124c729ff3ba305dc20c7f38011900e Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Thu, 21 Feb 2019 12:36:43 +0000
Subject: Stdlib HTML documentation: fix a few absolute URLs
---
doc/common/styles/html/coqremote/header.html | 26 +++++++++++++-------------
1 file changed, 13 insertions(+), 13 deletions(-)
(limited to 'doc/common')
diff --git a/doc/common/styles/html/coqremote/header.html b/doc/common/styles/html/coqremote/header.html
index c6c4509133..2f7ba14753 100644
--- a/doc/common/styles/html/coqremote/header.html
+++ b/doc/common/styles/html/coqremote/header.html
@@ -4,12 +4,12 @@
-
-
-
-
-
-
+
+
+
+
+
+
Standard Library | The Coq Proof Assistant
@@ -21,20 +21,20 @@
