From 4d9badb29a176d1feb8ae8da287b3e2f2d1afe36 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Thu, 15 Feb 2007 13:02:39 +0000
Subject: Correctly detect the presence of ocamlopt.

---
 debian/patches/00list | 1 +
 1 file changed, 1 insertion(+)

(limited to 'debian/patches/00list')

diff --git a/debian/patches/00list b/debian/patches/00list
index 8c069e14..7f4a29f0 100644
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -2,3 +2,4 @@ coqdoc_stdlib
 browser
 makefile
 no-complexity-test
+configure
-- 
cgit v1.2.3