diff --git a/SConstruct b/SConstruct
index 248886fb06f2d19d1821b9058b211b2c054f80bc..2662e84beee955d6befa19dcf5ab2dc7327e3eca 100644
--- a/SConstruct
+++ b/SConstruct
@@ -13,6 +13,3 @@ ParseDepends('deps')
 
 # Coq files
 for v in vs: env.Coq(v)
-
-# Coqidescript
-env.CoqIdeScript('coqidescript', [], COQFLAGS=Rs)
diff --git a/site_scons/site_tools/Coq.py b/site_scons/site_tools/Coq.py
index f7cc0b19688af1178c465a570aae3e6f26115c28..ae02408221d29e40ef2280ec26599efd1e9cf6c2 100644
--- a/site_scons/site_tools/Coq.py
+++ b/site_scons/site_tools/Coq.py
@@ -13,19 +13,9 @@ Coq = SCons.Builder.Builder(
   emitter = coq_emitter
 )
 
-def make_coqidescript(target, source, env):
-  open('coqidescript', 'w').write('#!/bin/sh\n' +
-    env['COQIDE'] + ' ' + env['COQFLAGS'] + ' $@ \n')
-  os.chmod('coqidescript', 0755)
-  return 0
-CoqIdeScript = SCons.Builder.Builder(action = make_coqidescript)
-
 def generate(env):
   env['COQC'] = 'coqc'
-  env['COQIDE'] = 'coqide'
-  env.Append(BUILDERS = {
-    'Coq' : Coq, 'CoqIdeScript' : CoqIdeScript
-  })
+  env.Append(BUILDERS = { 'Coq' : Coq })
 
 def exists(env):
   return env.Detect('coqc')