5 # Remove target files for which no sources files can be found.
6 for file in "$metadata_dir"/*.intermediate; do
7 basename=$(basename "$file")
9 ! test -f "${basename%.intermediate}.md" &&
10 ! test -f "${basename%.intermediate}.rst"; then
14 for file in "$metadata_dir"/*.uuid; do
15 basename=$(basename "$file")
17 ! test -f "${basename%.uuid}.md" &&
18 ! test -f "${basename%.uuid}.rst"; then
22 for file in *.html; do
24 ! test "$file" = "index.html" &&
25 ! test -f "${metadata_dir}/${file%.html}.intermediate"; then
30 # Determine target files from the sources files present, declare dependencies
31 # of the all.do script on them / build them if necessary.
32 for file in *.rst *.md; do
33 if test -f "$file"; then
34 redo-ifchange "${metadata_dir}/${file%.*}.intermediate"
37 for file in "$metadata_dir"/*.intermediate; do
38 if test -f "$file"; then
39 basename=$(basename "$file")
40 redo-ifchange "${basename%.intermediate}.html"
44 # Regenerate feed and index pages. Always.