diff options
| author | Eli Zaretskii | 2022-06-16 11:06:29 +0300 |
|---|---|---|
| committer | Eli Zaretskii | 2022-06-16 11:06:29 +0300 |
| commit | b3cbcebd9aae16e018e167233cf0c39bfac31198 (patch) | |
| tree | 5630e8a4a967ea4f31dd56c19c63cc3008aba4d3 /src/coding.c | |
| parent | f94e93a6eec92d834a6b545d8d4b68280b0993b0 (diff) | |
| download | emacs-b3cbcebd9aae16e018e167233cf0c39bfac31198.tar.gz 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 'src/coding.c')
0 files changed, 0 insertions, 0 deletions