diff --git a/configure b/configure
new file mode 100755
index 000000000..d6e26c2c0
--- /dev/null
+++ b/configure
@@ -0,0 +1,4 @@
+#! /bin/sh
+
+echo "Nothing to configure. Just type \`make' with the appropriate flags."
+