- $f = basename($file);
- if (isset($doc['titre'])
- AND (preg_match('/^\w+[.]\w+$/', $doc['titre']) OR $doc['titre'] == 'Makefile'))
- $f = $doc['titre'];
+ // Pour les document affichables par les navigateurs,
+ // ne pas envoyer "Content-Disposition: attachment" sinon
+ // le navigateur cree un fichier au lieu de l'afficher.
+ // Mais la propriete "affichable" n'est pas toujours devinable,
+ // il faut quand meme donner un nom au fichier eventuel.
+ // Celui-ci est malheureusement souvent ignore, cf
+ // http://greenbytes.de/tech/tc2231/