diff options
author | Ismael Luceno | 2014-12-26 19:36:53 -0300 |
---|---|---|
committer | Ismael Luceno | 2014-12-26 19:37:36 -0300 |
commit | 313bd47ba16507f7b2bd188925bac5a3d4549b4c (patch) | |
tree | 8a5d7f797532b7af1f0c5301e85b10eb2eae2fe2 /emacs-lisp | |
parent | d4cec97b4fc46e4848d8f555ad7e143f95bc76bf (diff) |
emacs-lisp/FUNCTIONS: Fix production of info files
Failed when the file uses @setfilename.
Diffstat (limited to 'emacs-lisp')
-rwxr-xr-x | emacs-lisp/FUNCTIONS | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/emacs-lisp/FUNCTIONS b/emacs-lisp/FUNCTIONS index 66513d12bb..6d51acc382 100755 --- a/emacs-lisp/FUNCTIONS +++ b/emacs-lisp/FUNCTIONS @@ -15,8 +15,12 @@ function default_build_emacs_lisp() { find "$@" -maxdepth 1 -name \*.el \ -execdir emacs -Q -L . --batch -f batch-byte-compile {} + \ -execdir gzip -9 {} + \ - -o -name \*.texi -execdir makeinfo {} \; -print0 | - sed -z 's@texi$@info@' | xargs -r0 gzip -9 + -o -name \*.texi -print | + while read file; do + local t=$(mktemp -p "$SOURCE_DIRECTORY") + makeinfo -o - "$file" | gzip -9 > "$t" && + mv "$t" "${file%.texi}.info.gz" + done } #------------------------------------------------------------------------- |