aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormerakor <cem@ckyln.com>2020-12-20 20:06:00 +0000
committermerakor <cem@ckyln.com>2020-12-20 20:06:00 +0000
commita2896e8f699945c6141328931d2e70a5f75af5d8 (patch)
tree33274934ee7186b7770be395098cd8ed56023339
parent16dd8abfa7f34ea3b6de4e22a1957f21dcf5d83d (diff)
downloadcpt-a2896e8f699945c6141328931d2e70a5f75af5d8.tar.gz
docs: change texinfo build function
FossilOrigin-Name: 292f67b613434aeb4c338dc906245848d8c80410f9afb4945a5e62b7c8ca3880
-rw-r--r--docs/default.do8
1 files 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"