1 files changed, 2 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules
index 5cc70086..58393fb4 100755
--- a/debian/rules
+++ b/debian/rules
@@ -36,6 +36,7 @@ CONFIGUREOPTS := -arch Linux -prefix /usr -mandir /usr/share/man \
   -configdir /etc/xdg/coq \
   -emacslib /usr/share/emacs/site-lisp/coq \
   -browser "/usr/bin/x-www-browser %s &" \
+  -coqide no \
   -with-doc no \
   -debug \
   $(NATIVE_COMPUTE)
@@ -101,11 +102,10 @@ override_dh_auto_install:
 override_dh_install:
 	chmod a-x debian/tmp/usr/lib/coq/toploop/*cma
 	dh_install --fail-missing
-	cp debian/coq.xpm debian/coqide/usr/share/pixmaps/coqide.xpm
 
 .PHONY: override_dh_ocaml
 override_dh_ocaml:
-	dh_ocaml --nodefined-map coqide:Xmlprotocol,Ide_slave,Xml_printer,Richprinter,Document,Xml_parser,Xml_lexer,Serialize
+	dh_ocaml
 	for f in debian/*substvars; do echo $$f; cat $$f; done
 
 .PHONY: override_dh_gencontrol