diff options
| author | merakor <cem@ckyln.com> | 2020-12-20 20:06:00 +0000 |
|---|---|---|
| committer | merakor <cem@ckyln.com> | 2020-12-20 20:06:00 +0000 |
| commit | a2896e8f699945c6141328931d2e70a5f75af5d8 (patch) | |
| tree | 33274934ee7186b7770be395098cd8ed56023339 | |
| parent | 16dd8abfa7f34ea3b6de4e22a1957f21dcf5d83d (diff) | |
| download | cpt-a2896e8f699945c6141328931d2e70a5f75af5d8.tar.gz | |
docs: change texinfo build function
FossilOrigin-Name: 292f67b613434aeb4c338dc906245848d8c80410f9afb4945a5e62b7c8ca3880
| -rw-r--r-- | docs/default.do | 8 |
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" |