12/03/2003 ajout d'un petit system sur le Makefile permettant de demander de refaire make config si sa version (défini par coder manuellement) est différente de celle du fichier config.h (make config donne la valeur de sa version)
Authored by: progs 2003-03-12
Parent: [r95]
Child: [r97]