diff options
| author | Glenn Morris <rgm@gnu.org> | 2021-02-28 15:13:07 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2021-02-28 15:13:07 -0800 |
| commit | 18e1455c8ae851791a047dc56eef972cc24e5b6c (patch) | |
| tree | f123b9d51147d4a290164c4dc074a9ba9cdd45ad /src/w32reg.c | |
| parent | 63026d8af38da0a380ef3db40c2a9911fc196e26 (diff) | |
| download | emacs-18e1455c8ae851791a047dc56eef972cc24e5b6c.tar.gz | |
Make generation of texi from org overwrite output
* doc/misc/Makefile.in (org_template): Don't delete output.
* lisp/org/ox-texinfo.el (org-texinfo-export-to-texinfo-batch):
Overwrite existing output.
Diffstat (limited to 'src/w32reg.c')
0 files changed, 0 insertions, 0 deletions