X-Git-Url: https://plomlompom.com/repos/?a=blobdiff_plain;f=all.do;fp=all.do;h=0000000000000000000000000000000000000000;hb=dfdd193cf3f2f215fd26bae06ada013a14422581;hp=edd2b476138f004700d16d19f9734d8116c56136;hpb=72e91a2e5600566eae283d427450fa1c2fe4969b;p=redo-blog

diff --git a/all.do b/all.do
deleted file mode 100644
index edd2b47..0000000
--- a/all.do
+++ /dev/null
@@ -1,41 +0,0 @@
-#!/bin/sh
-
-# Remove target files for which no sources files can be found.
-for file in *.intermediate; do
-  if   test -f "$file" &&
-     ! test -f "${file%.intermediate}.md" &&
-     ! test -f "${file%.intermediate}.rst"; then
-    rm "$file"
-  fi
-done
-for file in *.uuid; do
-  if   test -f "$file" &&
-     ! test -f "${file%.uuid}.md" &&
-     ! test -f "${file%.uuid}.rst"; then
-    rm "$file"
-  fi
-done
-for file in *.html; do
-  if   test -f "$file" &&
-     ! test "$file" = "index.html" &&
-     ! test -f "${file%.html}.intermediate"; then
-    rm "$file"
-  fi
-done
-
-# Determine target files from the sources files present, declare dependencies
-# of the all.do script on them / build them if necessary.
-for file in *.rst *.md; do
-  if test -f "$file"; then
-    redo-ifchange "${file%.*}.intermediate"
-  fi
-done
-for file in *.intermediate; do
-  if test -f "$file"; then
-    redo-ifchange "${file%.*}.html"
-  fi
-done
-
-# Regenerate feed and index pages. Always.
-redo "feed.xml"
-redo "index.html"