1 files changed, 0 insertions, 37 deletions
diff --git a/src/config.mk.in b/src/config.mk.in
deleted file mode 100644
index e8a8ab567..000000000
--- a/src/config.mk.in
+++ /dev/null
@@ -1,37 +0,0 @@
-# GF configuration file. configure will produce config.mk from this file
-# @configure_input@
-
-PACKAGE_VERSION = @PACKAGE_VERSION@
-
-prefix = @prefix@
-exec_prefix = @exec_prefix@
-bindir = @bindir@
-libdir = @libdir@
-datadir = @datadir@
-
-host = @host@
-build = @build@
-
-GHCFLAGS = @GHCFLAGS@
-CPPFLAGS = @CPPFLAGS@
-LDFLAGS = @LDFLAGS@
-
-EXEEXT = @EXEEXT@
-
-INSTALL = @INSTALL@
-TAR = @TAR@
-
-GHC = "@GHC@"
-GHCI = "@GHCI@"
-
-READLINE = @READLINE@
-
-INTERRUPT = @INTERRUPT@
-
-ATK = @ATK@
-
-ENABLE_JAVA = @ENABLE_JAVA@
-
-JAVAC = "@JAVAC@"
-JAR = "@JAR@"
-