Stop keeping info/dir in the repository.
authorGlenn Morris <rgm@gnu.org>
Thu, 12 Dec 2013 08:54:21 +0000 (00:54 -0800)
committerGlenn Morris <rgm@gnu.org>
Thu, 12 Dec 2013 08:54:21 +0000 (00:54 -0800)
commit62bd73fa7a8c50504bc6f916b86603ea654fc472
treec0f269198491a68fe4fbedcb9a95ddf11c4ac600
parent397a32c12ad097314c0948818d5c54b43d9f3d54
Stop keeping info/dir in the repository.

* build-aux/dir_top: Move here from admin/.

* build-aux/make-info-dir: New script.

* Makefile.in (bootstrap-clean): Delete info/.
(info-dir, ${srcdir}/info/dir): New rules.
(info): Also make info-dir.
(check-info): Rename from check-info-dir.
Instead of info/dir entries, check @dircategory in info/*.info.

* make-dist: Use `info' rule rather than `info-real'.
No more info/COPYING (not even the right license for info/ files).

* info/: Remove from repository.

* admin/update_autogen (info_dir):
Use dir_top from build-aux/ rather than admin/.

* .bzrignore: Ignore info/ altogether.

* doc/emacs/Makefile.in: Comment.
ChangeLog
Makefile.in
admin/ChangeLog
admin/update_autogen
build-aux/dir_top [moved from admin/dir_top with 100% similarity]
build-aux/make-info-dir [new file with mode: 0755]
doc/emacs/Makefile.in
info/.gitignore [deleted file]
info/COPYING [deleted file]
info/dir [deleted file]
make-dist