diff --git a/01-pages-externes b/01-pages-externes new file mode 100644 index 0000000..b4f65fa --- /dev/null +++ b/01-pages-externes @@ -0,0 +1,40 @@ +# Endroits où pointent une page de la page tuteurs : +# 1) pages externes +# 2) fichiers non html sur la page tuteurs +# +# Ce fichier est utilisé par le programme chklinks pour dresser la liste +# des liens cassés en interne sur la page des tuteurs +# faire "make chklinks" pour les voir +# +# Joël, 2002-12-08 +# +#Tuteurs +mailto:tuteurs@clipper.ens.fr +mailto:tuteurs@clipper +#Hublots en .ps.gz +docs/hublot/hublot12/hublot12.ps.gz +docs/hublot/hublot11/hublot11.ps.gz +docs/hublot/hublot10/hublot10.ps.gz +docs/hublot/hublot09/hublot9.ps.gz +docs/hublot/hublot08/hublot8.ps.gz +docs/hublot/hublot07/hublot7.ps.gz +docs/hublot/hublot06/hublot6.ps.gz +docs/hublot/hublot05/hublot5.ps.gz +docs/hublot/hublot04/hublot4.ps.gz +docs/hublot/hublot03/hublot3.ps.gz +docs/hublot/hublot02/hublot2.ps.gz +docs/hublot/hublot01/hublot1.ps.gz +#À écrire, sinon il y a vraiment beaucoup de liens cassés... +actualite.html +meta/plan_site.html +meta/charte_graphique.html +#ENS +http://www.ens.fr/ +http://www.spi.ens.fr/ +http://www.spi.ens.fr/legal/ +http://www.spi.ens.fr/legal/charte-ht.html +mailto:spi@ens.fr +/search.html +/ +#Liens externes +http://validator.w3.org/ diff --git a/Makefile b/Makefile index edc1aa8..042c3a4 100644 --- a/Makefile +++ b/Makefile @@ -2,3 +2,11 @@ install: cvstuteurs commit su-tuteurs cvstuteurs update -d /users/staffs/tuteurs/www/web su-tuteurs /users/staffs/tuteurs/share/tml/bin/rebuild /users/staffs/tuteurs/www/web + +rebuild: + rebuild . + +chklinks: rebuild + zsh -c "ls **/*.html" > .liste-pages + chklinks .liste-pages 01-pages-externes +