diff options
| author | Glenn Morris | 2013-12-12 01:39:13 -0800 |
|---|---|---|
| committer | Glenn Morris | 2013-12-12 01:39:13 -0800 |
| commit | 89f01d7dbe35747b5de1f9f45dfb49353be14ac0 (patch) | |
| tree | 039c59423e18f0fba477cad024f639e7de1f57f3 /ChangeLog | |
| parent | f5011847b2b7d4c2ac2f977996702e45e4de0b3d (diff) | |
| download | emacs-89f01d7dbe35747b5de1f9f45dfb49353be14ac0.tar.gz emacs-89f01d7dbe35747b5de1f9f45dfb49353be14ac0.zip | |
* make-dist: Distribute new build-aux files.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 2 |
1 files changed, 2 insertions, 0 deletions
| @@ -12,6 +12,8 @@ | |||
| 12 | Instead of info/dir entries, check @dircategory in info/*.info. | 12 | Instead of info/dir entries, check @dircategory in info/*.info. |
| 13 | * make-dist: Use `info' rule rather than `info-real'. | 13 | * make-dist: Use `info' rule rather than `info-real'. |
| 14 | No more info/COPYING (not even the right license for info/ files). | 14 | No more info/COPYING (not even the right license for info/ files). |
| 15 | Distribute new build-aux files. | ||
| 16 | |||
| 15 | * info/: Remove from repository. | 17 | * info/: Remove from repository. |
| 16 | 18 | ||
| 17 | 2013-12-11 Glenn Morris <rgm@gnu.org> | 19 | 2013-12-11 Glenn Morris <rgm@gnu.org> |