Ticket #434: etendre le test de fichier distant au répertoire dist/ maintenant...

Ticket #434: etendre le test de fichier distant au répertoire dist/ maintenant que lui aussi contient des images

ecrire/inc/distant.php

@@ -231,6 +231,9 @@ function fichier_copie_locale($source) {
 	else if (preg_match(',^'._DIR_IMG_PACK.',', $source))
 		return $source;
 
+	else if (preg_match(',^'._DIR_RACINE.'dist/,', $source))
+		return $source;
+
 	// Si l'extension n'est pas precisee, aller la chercher dans la table
 	// des documents -- si la source n'est pas dans la table des documents,
 	// on ne fait rien