Renamed Makefile.config to Makefile.tlc.

GNUmakefile

@@ -5,7 +5,7 @@
 # ------------------------------------------------------------------------------
 
 # This defines TLC.
-include Makefile.config
+include Makefile.tlc
 
 # ------------------------------------------------------------------------------
 

Makefile.config → Makefile.tlc

@@ -7,5 +7,5 @@ ifndef TLC
                  done)
 endif
 ifndef TLC
-  $(error Unable to find TLC. See Makefile.config)
+  $(error Unable to find TLC. See Makefile.tlc)
 endif

lib/coq/Makefile

-# Incantation to find Makefile.config.
-ROOT := $(shell while ! [ -f ./Makefile.config ] ; do cd .. ; done && pwd)
+# Find Makefile.tlc.
+ROOT := $(shell while ! [ -f ./Makefile.tlc ] ; do cd .. ; done && pwd)
 
 # Find TLC.
-include $(ROOT)/Makefile.config
+include $(ROOT)/Makefile.tlc
 
 # Compile.
 INCLUDE := -I $(TLC)