- fi
-done
-for file in "$metadata_dir"/*.intermediate; do
- if test -f "$file"; then
- basename=$(basename "$file")
- redo-ifchange "${basename%.intermediate}.html"
+ html_file=${file%.*}.html
+ redo-ifchange "$html_file"
+ ln -sf "$cur_dir/$html_file" "${public_dir}/"