From af6a390219de9eb1a91ffd9f5ca15a2d2253e978 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 21 Aug 2017 15:30:48 +0200
Subject: Fix coqdoc URLs under Windows.

URLs on Windows are the same as on Unix, they use / not \.
---
 tools/coqdoc/index.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coqdoc/index.ml b/tools/coqdoc/index.ml
index 8ba6156709..1bbf76490d 100644
--- a/tools/coqdoc/index.ml
+++ b/tools/coqdoc/index.ml
@@ -117,7 +117,7 @@ let find_module m =
   if Hashtbl.mem local_modules m then
     Local
   else
-    try External (Filename.concat (find_external_library m) m)
+    try External (find_external_library m ^ "/" ^ m)
     with Not_found -> Unknown
 
 
-- 
cgit v1.2.3