diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/misc/ChangeLog | 1 | ||||
| -rw-r--r-- | doc/misc/Makefile.in | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 6a74bce197d..312b2d1d42e 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,6 +1,7 @@ | |||
| 1 | 2012-05-12 Glenn Morris <rgm@gnu.org> | 1 | 2012-05-12 Glenn Morris <rgm@gnu.org> |
| 2 | 2 | ||
| 3 | * Makefile.in (info.info): Rename from info, to avoid duplication. | 3 | * Makefile.in (info.info): Rename from info, to avoid duplication. |
| 4 | (.SUFFIXES): Disable implicit rules. | ||
| 4 | 5 | ||
| 5 | * Makefile.in (MKDIR_P): New, set by configure. | 6 | * Makefile.in (MKDIR_P): New, set by configure. |
| 6 | (mkinfodir): Use $MKDIR_P. | 7 | (mkinfodir): Use $MKDIR_P. |
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index 02115a4b474..fd62afe5adc 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in | |||
| @@ -216,6 +216,8 @@ ENVADD = TEXINPUTS="$(srcdir):$(emacsdir):$(TEXINPUTS)" \ | |||
| 216 | mkinfodir = @${MKDIR_P} ${srcdir}/${infodir} | 216 | mkinfodir = @${MKDIR_P} ${srcdir}/${infodir} |
| 217 | 217 | ||
| 218 | .PHONY: info dvi pdf echo-info | 218 | .PHONY: info dvi pdf echo-info |
| 219 | ## Prevent implicit rule triggering for foo.info. | ||
| 220 | .SUFFIXES: | ||
| 219 | 221 | ||
| 220 | # Default. | 222 | # Default. |
| 221 | info: $(INFO_TARGETS) | 223 | info: $(INFO_TARGETS) |