From 7722519b9e9f47b61243cf591abdc614f53c27df Mon Sep 17 00:00:00 2001 From: merakor 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 From a2896e8f699945c6141328931d2e70a5f75af5d8 Mon Sep 17 00:00:00 2001 From: merakor Date: Sun, 20 Dec 2020 20:06:00 +0000 Subject: docs: change texinfo build function FossilOrigin-Name: 292f67b613434aeb4c338dc906245848d8c80410f9afb4945a5e62b7c8ca3880 --- docs/default.do | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'docs') diff --git a/docs/default.do b/docs/default.do index 2742edb..5f8ee48 100644 --- a/docs/default.do +++ b/docs/default.do @@ -11,10 +11,12 @@ case "$1" in $MAKEINFO "$fn.texi" -o "$3" ;; *.texi) - [ -f "$fn.org" ] || exit 99 + [ -f "$fn.org" ] || exit 0 redo-ifchange "$fn.org" - $EMACS "$fn.org" --batch -f org-texinfo-export-to-texinfo - mv "$1" "$3" + 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" -- cgit v1.2.3 From 263daddaa753ecc2aa7fc202d0bb1acbe8f43f74 Mon Sep 17 00:00:00 2001 From: merakor Date: Mon, 21 Dec 2020 09:08:09 +0000 Subject: docs/default: change targets FossilOrigin-Name: 779edf420267002781b77fe90d1a9301cb02aab72c6f5f5c51a5e27d439573f1 --- docs/default.do | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'docs') diff --git a/docs/default.do b/docs/default.do index 5f8ee48..a66ed9b 100644 --- a/docs/default.do +++ b/docs/default.do @@ -4,8 +4,9 @@ fn="${1%.*}" case "$1" in - all) redo-ifchange info ;; - info) redo-ifchange cpt.info ;; + 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" -- cgit v1.2.3