#! /bin/bash # $Id: hplist.sh,v 1.2 2001/09/28 00:10:26 gilles Exp $ dir=${1:-~lf} cat < Liste des contributeurs

Liste des contributeurs

EOF

for user in `ls $dir`; do
    # echo ${user}
    if [ -d $dir/${user}/html ];then
	if [  -f "$dir/${user}/html/HEADER.html" \
	    -o  -f "$dir/${user}/html/HEADER.fr.html" \
	    -o -f "$dir/${user}/html/index.html" \
	    -o -f "$dir/${user}/html/quefaisje.html" \
	    ];then
	    echo "$user"
	else
	    echo "$user"
	fi
    fi
done

cat <

EOF