diff options
| author | Glenn Morris | 2010-10-09 11:31:12 -0700 |
|---|---|---|
| committer | Glenn Morris | 2010-10-09 11:31:12 -0700 |
| commit | abd40fb4ee56c21965f52e20fc04cab630674ab0 (patch) | |
| tree | be2a75b0861862ba5e2a453c554ab0595b9c57ed /doc/misc/ChangeLog | |
| parent | f4f358f172feadc4c706e540f17e0989c2e1c9b8 (diff) | |
| download | emacs-abd40fb4ee56c21965f52e20fc04cab630674ab0.tar.gz emacs-abd40fb4ee56c21965f52e20fc04cab630674ab0.zip | |
Avoid having a directory as a prerequisite in doc Makefiles.
It does not play well with time-stamping.
* doc/misc/Makefile.in ($(infodir)): Delete rule.
(mkinfodir): New. Use it in all the info rules, rather than depending
on infodir.
* doc/lispref/Makefile.in ($(infodir)): Delete rule.
(mkinfodir): New.
($(infodir)/elisp): Use $mkinfodir instead of infodir.
* doc/lispintro/Makefile.in ($(infodir)): Delete rule.
(mkinfodir): New.
($(infodir)/eintr): Use $mkinfodir instead of infodir.
* doc/emacs/Makefile.in ($(infodir)): Delete rule.
(mkinfodir): New.
($(infodir)/emacs): Use $mkinfodir instead of infodir.
Diffstat (limited to 'doc/misc/ChangeLog')
| -rw-r--r-- | doc/misc/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 3d834371815..e080d1fe262 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,5 +1,11 @@ | |||
| 1 | 2010-10-09 Glenn Morris <rgm@gnu.org> | 1 | 2010-10-09 Glenn Morris <rgm@gnu.org> |
| 2 | 2 | ||
| 3 | * Makefile.in ($(infodir)): Delete rule. | ||
| 4 | (mkinfodir): New. Use it in all the info rules, rather than depending | ||
| 5 | on infodir. | ||
| 6 | |||
| 7 | 2010-10-09 Glenn Morris <rgm@gnu.org> | ||
| 8 | |||
| 3 | * gnus.texi (Article Washing): Fix previous change. | 9 | * gnus.texi (Article Washing): Fix previous change. |
| 4 | 10 | ||
| 5 | * Makefile.in (emacsdir): New variable. | 11 | * Makefile.in (emacsdir): New variable. |