aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-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"