Ajout d'un truc ignoble pour permettre de faire la liste des liens cassés (en
interne) sur la page des tuteurs...
This commit is contained in:
parent
c20a20905f
commit
41f9015549
2 changed files with 48 additions and 0 deletions
40
01-pages-externes
Normal file
40
01-pages-externes
Normal file
|
@ -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/
|
8
Makefile
8
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
|
||||
|
||||
|
|
Loading…
Reference in a new issue