diff configure @ 1:05c8e0aef77d

Rename the Makefile to its correct name, and remove the execution bit of the XML configuration file.
author Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
date Sun, 22 Feb 2015 01:40:20 +0100
parents e70ea46d6073
children f362b20de51e
line wrap: on
line diff
--- a/configure
+++ b/configure
@@ -59,7 +59,7 @@ fi
 
 #----------------- Nom du fichier genere ------------------------
 
-makefile=makefile
+makefile=Makefile
 
 #----------------- Extension des fichiers -----------------------