From 632f709b95f4fa47e86e5c498b995eb9c2cf2ff6 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 7 May 2020 19:20:39 +0200
Subject: Checking validity of coqdoc file name.

This fixes #12265 (javascript injection vulnerability in file name).
---
 tools/coqdoc/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/coqdoc/dune')

diff --git a/tools/coqdoc/dune b/tools/coqdoc/dune
index 9c0a6ccffe..e3c792f277 100644
--- a/tools/coqdoc/dune
+++ b/tools/coqdoc/dune
@@ -9,6 +9,6 @@
  (name main)
  (public_name coqdoc)
  (package coq)
- (libraries str coq.config))
+ (libraries str coq.config coq.clib))
 
 (ocamllex cpretty)
-- 
cgit v1.2.3