patch pour répertoires funky

ecrire/exec_aide_index.php

@@ -451,7 +451,7 @@ function aide_index_dist()
 global $img, $frame, $aide, $var_lang, $lang;
 // Eviter les calculs evitables (surtout en client/serveur sans cache !)
 
- if (http_last_modified(filemtime('inc_version.php'), time() + 24 * 3600))
+ if (http_last_modified(filemtime(_DIR_INCLUDE . 'inc_version.php'), time() + 24 * 3600))
   exit;
 
 // Recuperer les infos de langue (preferences auteur), si possible