diff options
| author | Stefan Kangas <stefankangas@gmail.com> | 2022-10-19 13:26:54 +0200 |
|---|---|---|
| committer | Stefan Kangas <stefankangas@gmail.com> | 2022-10-19 13:26:54 +0200 |
| commit | a9111d8670b48f473e968a0e75d83782dbf74425 (patch) | |
| tree | 4bc5653250eb2db2e95b9da8393556d5e776fbd8 /admin/make-manuals | |
| parent | 5247a72aecb417e2f71e37af40ebacdfc26158b7 (diff) | |
| download | emacs-a9111d8670b48f473e968a0e75d83782dbf74425.tar.gz emacs-a9111d8670b48f473e968a0e75d83782dbf74425.tar.bz2 emacs-a9111d8670b48f473e968a0e75d83782dbf74425.zip | |
Add admin/emacs-shell-lib for shared bash code
* admin/emacs-shell-lib: New file for shared bash code.
* admin/automerge:
* admin/diff-tar-files:
* admin/emacs-shell-lib:
* admin/make-manuals:
* admin/update_autogen:
* admin/upload-manuals: Simplify and improve using above new library.
Diffstat (limited to 'admin/make-manuals')
| -rwxr-xr-x | admin/make-manuals | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/admin/make-manuals b/admin/make-manuals index cb0c00a423f..a252bf20f1e 100755 --- a/admin/make-manuals +++ b/admin/make-manuals @@ -33,15 +33,7 @@ ### Code: -set -o nounset - -die () # write error to stderr and exit -{ - [ $# -gt 0 ] && echo "$PN: $@" >&2 - exit 1 -} - -PN=${0##*/} # basename of script +source "${0%/*}/emacs-shell-lib" usage () { @@ -96,8 +88,7 @@ OPTIND=1 [ -e admin/admin.el ] || die "admin/admin.el not found" -tempfile=/tmp/$PN.$$ -trap "rm -f $tempfile 2> /dev/null" EXIT +tempfile="$(emacs_mktemp)" [ "$continue" ] || rm -rf $outdir |