DGNum/tuteurs.ens.fr
16
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Suppression de chklinks du Makefile, ce n'est pas un truc très fiable et

Browse source 
depuis quelque temps, on a le démon vérifieur.
This commit is contained in:
jriou 2004-03-08 16:30:48 +00:00
parent 769f7bf28f
commit c0322fcbdf
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Makefile
View file

@ -6,7 +6,3 @@ install:
rebuild: rebuild:
/users/staffs/tuteurs/share/tml/bin/rebuild . /users/staffs/tuteurs/share/tml/bin/rebuild .
chklinks: rebuild
zsh -c "ls **/*.html" > .liste-pages
/users/staffs/tuteurs/bin/chklinks .liste-pages 01-pages-externes