Commit Diff


commit - 5f842f6e24efcce5f651f6bed0399b4cbeee53be
commit + 906ac77b6eb06edcc6dcb8a62e60746089d87961
blob - e75b59c306a218dbb8327d81118dc660041c5812
blob + 6f4971010351d8293e0fd9c0c21062f550bcb3e0
--- autres/source-haut.php
+++ autres/source-haut.php
@@ -47,8 +47,8 @@ require'confidentiel.php';
     {
       $titre='Code de la page : «'.$titre.'»';
       if($_SERVER['SCRIPT_NAME']!=='/autres/source-haut.php')
-        /*$head='<!--Pour ne pas indexer les sources-->'."\n\t".
-              '<meta http-equiv="robots" content="noindex" />'."\n\t";*/
+        $head='<!--Pour ne pas indexer les sources-->'."\n\t".
+              '<meta http-equiv="robots" content="noindex" />'."\n\t";
       $head.='<!--La feuille de style pour le code html-->'."\n\t".
              '<link rel="stylesheet" type="text/css" href="/autres/css/code.css" />';
     }
@@ -81,10 +81,6 @@ require'confidentiel.php';
 /************
 //affichage de la page*/
   echo $Doctype,"\n",'<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="fr">',"\n",'<head>',"\n\t",
-      /*Balise pour empêcher l'indexation par les moteurs de recherche
-        ajoutée le 27/6/2015 en vue d'une nouvelle utilisation du domaine,
-        celui sur l'informatique étant largement obsolète*/
-      '<meta http-equiv="robots" content="noindex, follow" />',"\n\t",
       '<!--metas de contenu-->',"\n\t",
       '<meta http-equiv="Content-type" content="',$ContentType,';charset=',$charset,'" />',"\n\t",
       '<meta http-equiv="Content-Script-Type" content="text/javascript" />',"\n\t",