diff options
| author | Glenn Morris | 2013-12-12 00:54:21 -0800 |
|---|---|---|
| committer | Glenn Morris | 2013-12-12 00:54:21 -0800 |
| commit | 62bd73fa7a8c50504bc6f916b86603ea654fc472 (patch) | |
| tree | c0f269198491a68fe4fbedcb9a95ddf11c4ac600 /doc | |
| parent | 397a32c12ad097314c0948818d5c54b43d9f3d54 (diff) | |
| download | emacs-62bd73fa7a8c50504bc6f916b86603ea654fc472.tar.gz emacs-62bd73fa7a8c50504bc6f916b86603ea654fc472.zip | |
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.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/emacs/Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/emacs/Makefile.in b/doc/emacs/Makefile.in index 527b2f7a77d..ffe219baf40 100644 --- a/doc/emacs/Makefile.in +++ b/doc/emacs/Makefile.in | |||
| @@ -143,8 +143,7 @@ EMACSSOURCES= \ | |||
| 143 | ${srcdir}/kmacro.texi \ | 143 | ${srcdir}/kmacro.texi \ |
| 144 | $(EMACS_XTRA) | 144 | $(EMACS_XTRA) |
| 145 | 145 | ||
| 146 | ## This seems pointless. The info/ directory exists in both the | 146 | ## The info/ directory exists in release tarfiles but not the repository. |
| 147 | ## repository and the release tarfiles. | ||
| 148 | mkinfodir = @${MKDIR_P} ${buildinfodir} | 147 | mkinfodir = @${MKDIR_P} ${buildinfodir} |
| 149 | 148 | ||
| 150 | .PHONY: info dvi html pdf ps | 149 | .PHONY: info dvi html pdf ps |