From 7722519b9e9f47b61243cf591abdc614f53c27df Mon Sep 17 00:00:00 2001
From: merakor <cem@ckyln.com>
Date: Sun, 20 Dec 2020 09:53:31 +0000
Subject: update redo files

FossilOrigin-Name: 1096355ead3f8b366f9cf1428369d38cc9735d78da31e8fcfbb3c7ce046d1db0
---
 docs/default.do | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 docs/default.do

(limited to 'docs')

diff --git a/docs/default.do b/docs/default.do
new file mode 100644
index 0000000..2742edb
--- /dev/null
+++ b/docs/default.do
@@ -0,0 +1,24 @@
+. ../config.rc
+
+# Extensionless name of file
+fn="${1%.*}"
+
+case "$1" in
+    all)  redo-ifchange info ;;
+    info) redo-ifchange cpt.info ;;
+    *.info)
+        redo-ifchange "$fn.texi"
+        $MAKEINFO "$fn.texi" -o "$3"
+        ;;
+    *.texi)
+        [ -f "$fn.org" ] || exit 99
+        redo-ifchange "$fn.org"
+        $EMACS "$fn.org" --batch -f org-texinfo-export-to-texinfo
+        mv "$1" "$3"
+        ;;
+    *)
+        echo "Unknown target $1"
+        exit 99
+esac
+
+PHONY all info html
-- 
cgit v1.2.3