3 # Remove target files for which no sources files can be found.
4 for file in *.intermediate; do
6 ! test -f "${file%.intermediate}.md" &&
7 ! test -f "${file%.intermediate}.rst"; then
11 for file in *.uuid; do
13 ! test -f "${file%.uuid}.md" &&
14 ! test -f "${file%.uuid}.rst"; then
18 for file in *.html; do
20 ! test "$file" = "index.html" &&
21 ! test -f "${file%.html}.intermediate"; then
26 # Determine target files from the sources files present, declare dependencies
27 # of the all.do script on them / build them if necessary.
28 for file in *.rst *.md; do
29 if test -f "$file"; then
30 redo-ifchange "${file%.*}.intermediate"
33 for file in *.intermediate; do
34 if test -f "$file"; then
35 redo-ifchange "${file%.*}.html"
39 # Regenerate feed and index pages. Always.