diff --git a/supers/df b/supers/df
deleted file mode 100755
index e52864f2..00000000
--- a/supers/df
+++ /dev/null
@@ -1,19 +0,0 @@
-#! /bin/sh
-# Sam K, déc 99
-# magie: le script lance super sur son propre nom
-#  et ca lance le bon programme.. 
-
-prog=`basename $0`
-
-# Si le script courant est lancé par super, $SUPERCMD permet de le voir.
-# et alors on continue gentiment le script, sinon on éxécute super sur le prog.
-#  ca permet de faire des scripts qui lancent super sur eux-memes..
-test "X$SUPERCMD" = "X$prog" || test "X$UID" = "X0" || 
-         exec /usr/bin/super $prog ${1+"$@"}    # le script s'arrete ici ds ce cas.
-
-# Contenu du script :
-# ici c'est vide car "super $prog" va en fait éxécuter un autre script, celui ci étant juste un "wrapper".
-# pour lanceMake et autre, c'est là qu'est mis le script à éxécuter.
-
-test "X$UID" = "X0" && echo "uid=root -> on fait rien. lancez le prog directement, cf _where <command>_."
-