aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authormerakor <cem@ckyln.com>2020-12-21 10:02:45 +0000
committermerakor <cem@ckyln.com>2020-12-21 10:02:45 +0000
commitc1c68a205b8cbf0a8ee55f099c27d0a0c7f8afe2 (patch)
tree0e28e76b2391ba290180df87acdab6577d1dfe3f /docs
parent08af0013de1d77cf0ee46245e50007a9fbf79035 (diff)
parent1535d115d8d0c58ca4a90acbf16b263cf85bb0a1 (diff)
downloadcpt-c1c68a205b8cbf0a8ee55f099c27d0a0c7f8afe2.tar.gz
Merge branch 'redo'
FossilOrigin-Name: 046e1a0012624ed9a8934a8a4099710264281bcb6814c1fc0fbe3157c1121d2f
Diffstat (limited to 'docs')
-rw-r--r--docs/default.do27
1 files changed, 27 insertions, 0 deletions
diff --git a/docs/default.do b/docs/default.do
new file mode 100644
index 0000000..a66ed9b
--- /dev/null
+++ b/docs/default.do
@@ -0,0 +1,27 @@
+. ../config.rc
+
+# Extensionless name of file
+fn="${1%.*}"
+
+case "$1" in
+ all) redo info ;;
+ allclean) redo ../clean; rm -f cpt.texi ;;
+ info) redo-ifchange cpt.info cpt.texi cpt.org ;;
+ *.info)
+ redo-ifchange "$fn.texi"
+ $MAKEINFO "$fn.texi" -o "$3"
+ ;;
+ *.texi)
+ [ -f "$fn.org" ] || exit 0
+ redo-ifchange "$fn.org"
+ cp "$fn.org" "$3.org"
+ $EMACS "$3.org" --batch -f org-texinfo-export-to-texinfo
+ rm -f "$3.org"
+ mv "$3.texi" "$3"
+ ;;
+ *)
+ echo "Unknown target $1"
+ exit 99
+esac
+
+PHONY all info html