From 002fb17410892b80527927a559501b84560d804e Mon Sep 17 00:00:00 2001
From: Samuel Mimram <samuel.mimram@ens-lyon.org>
Date: Thu, 15 Jul 2004 16:17:58 +0000
Subject: Getting prepared for the licensing-problems-free 8.0 release of COQ.

---
 debian/coq.dirs | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 debian/coq.dirs

(limited to 'debian/coq.dirs')

diff --git a/debian/coq.dirs b/debian/coq.dirs
new file mode 100644
index 00000000..90431880
--- /dev/null
+++ b/debian/coq.dirs
@@ -0,0 +1,4 @@
+usr/bin
+usr/lib
+usr/lib/coq
+usr/share/pixmaps
-- 
cgit v1.2.3