13 wget -r -l inf --accept=.html --domains=localhost --directory-prefix=site.dir --no-host-directories $url
15 for i in `find site.dir -type f`
17 echo -n $i |sed -e 's/^site\.dir\(.*\)/<DOC><DOCNO>\1<\/DOCNO>/'
18 recode --diacritics UTF-8..HTML <$i
22 zet -f site -i site.txt