diff options
author | Eli Zaretskii <eliz@gnu.org> | 2022-06-16 11:06:29 +0300 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2022-06-16 11:06:29 +0300 |
commit | b3cbcebd9aae16e018e167233cf0c39bfac31198 (patch) | |
tree | 5630e8a4a967ea4f31dd56c19c63cc3008aba4d3 /lisp/emacs-lisp/cl-indent.el | |
parent | f94e93a6eec92d834a6b545d8d4b68280b0993b0 (diff) | |
download | emacs-b3cbcebd9aae16e018e167233cf0c39bfac31198.tar.gz emacs-b3cbcebd9aae16e018e167233cf0c39bfac31198.tar.bz2 emacs-b3cbcebd9aae16e018e167233cf0c39bfac31198.zip |
Speed up Org to Texinfo generation
* doc/misc/Makefile.in ($(1:.org=.texi)): Use a higher GC
threshold, to speed up .org=.texi conversion. Patch by Ihor
Radchenko <yantar92@gmail.com>.
Diffstat (limited to 'lisp/emacs-lisp/cl-indent.el')
0 files changed, 0 insertions, 0 deletions