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(-) 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