diff Makefile @ 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 makefile@e70ea46d6073
children f362b20de51e
line wrap: on
line diff
copy from makefile
copy to Makefile
--- a/makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 #----- Fichier genere automatiquement sous Linux ------
-#----- sam fév 24 17:16:55 CET 2007
+#----- dim. févr. 22 01:38:49 CET 2015
 
 #-----
 INCDIR=.
@@ -53,7 +53,7 @@ dep :
 	@rm -f .tmpdepend
  
 CLEANING=rm -f *.o core a.out $(TARGET) .depend
-CONSEIL=echo Penser a faire : make -f makefile dep
+CONSEIL=echo Penser a faire : make -f Makefile dep
  
 clear :
 	@$(CLEANING)