From 3cb4411089c18351d57685f9abe455d3f61f308f Mon Sep 17 00:00:00 2001
From: glondu
Date: Wed, 2 Dec 2009 08:36:14 +0000
Subject: Remove interface plugin

It has moved to the contribs (Sophia-Antipolis/Interface).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12555 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/ocamlweb-doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/ocamlweb-doc')

diff --git a/dev/ocamlweb-doc/Makefile b/dev/ocamlweb-doc/Makefile
index 8ad226da6c..3189d7c518 100644
--- a/dev/ocamlweb-doc/Makefile
+++ b/dev/ocamlweb-doc/Makefile
@@ -7,7 +7,7 @@ LOCALINCLUDES=-I ../../config -I ../../tools -I ../../tools/coqdoc \
               -I ../../plugins/omega -I ../../plugins/romega \
 	      -I ../../plugins/ring -I ../../plugins/dp -I ../../plugins/setoid_ring \
               -I ../../plugins/xml -I ../../plugins/extraction \
-              -I ../../plugins/interface -I ../../plugins/fourier \
+              -I ../../plugins/fourier \
 	      -I ../../plugins/cc \
 	      -I ../../plugins/funind -I ../../plugins/firstorder \
               -I ../../plugins/field -I ../../plugins/subtac -I ../../plugins/rtauto \
-- 
cgit v1.2.3