aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authormerakor <cem@ckyln.com>2020-12-20 09:53:31 +0000
committermerakor <cem@ckyln.com>2020-12-20 09:53:31 +0000
commit7722519b9e9f47b61243cf591abdc614f53c27df (patch)
treea83a35386d71a3b47756ae2409e4022a8e000dcd /docs
parentb38c7fd3760994ef8321c8d807b4ebca9a674d0a (diff)
downloadcpt-7722519b9e9f47b61243cf591abdc614f53c27df.tar.gz
update redo files
FossilOrigin-Name: 1096355ead3f8b366f9cf1428369d38cc9735d78da31e8fcfbb3c7ce046d1db0
Diffstat (limited to 'docs')
-rw-r--r--docs/default.do24
1 files changed, 24 insertions, 0 deletions
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