--- configure	2007-02-06 00:01:54.000000000 +0100
+++ configure	2007-07-25 20:03:03.000000000 +0200
@@ -236,6 +236,8 @@
   ;;
   --enable-cocoa) cocoa="yes" ; coreaudio="yes" ; sdl="no"
   ;;
+  --disable-cocoa) cocoa="no" ; coreaudio="no" ; sdl="no"
+  ;;
   --disable-gfx-check) check_gfx="no"
   ;;
   --disable-gcc-check) check_gcc="no"
