1 files changed, 2 insertions, 0 deletions

diff --git a/all.do b/all.do
new file mode 100644
index 0000000..60dfc91
--- /dev/null
+++ b/all.do
@@ -0,0 +1,2 @@
+. ./config.rc
+redo-ifchange bin/all doc/cpt.info