diff options
| author | Glenn Morris | 2016-12-07 19:43:36 -0500 |
|---|---|---|
| committer | Glenn Morris | 2016-12-07 19:43:36 -0500 |
| commit | 953bf67fbea6298cb68b7610fdc09c3fcdf8aeec (patch) | |
| tree | 20efbc67ff34e46b642a44f1ffdd68f0d6e6cfc0 /src | |
| parent | 129645a7a7129f2a63c1daf2743c2d901460b9fa (diff) | |
| download | emacs-953bf67fbea6298cb68b7610fdc09c3fcdf8aeec.tar.gz emacs-953bf67fbea6298cb68b7610fdc09c3fcdf8aeec.zip | |
Improve previous make-dist change
* make-dist: Let make check the info files more thoroughly.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions