diff --git a/src/config.log b/src/config.log
deleted file mode 100644
index bce79b1..0000000
--- a/src/config.log
+++ /dev/null
@@ -1,18 +0,0 @@
-
-## ---------------------- ##
-## Running config.status. ##
-## ---------------------- ##
-
-This file was extended by config.status, which was
-generated by GNU Autoconf 2.68.  Invocation command line was
-
-  CONFIG_FILES    = 
-  CONFIG_HEADERS  = 
-  CONFIG_LINKS    = 
-  CONFIG_COMMANDS = 
-  $ ../config.status 
-
-on boxi
-
-config.status:1308: creating Makefile
-config.status:1294: error: cannot find input file: `doc/Makefile.in'