diff options
author | Glenn Morris <rgm@gnu.org> | 2014-03-20 23:49:38 -0700 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2014-03-20 23:49:38 -0700 |
commit | 931be30d736bd31f0f932c2afc1d677de51290fe (patch) | |
tree | 677b29b96d683ce6bb2b435c1b493794973ce586 /Makefile.in | |
parent | ffeef15800314d80c469fb34ae9f184d663f1368 (diff) |
* Makefile.in (all): Depend on `info'.
Fixes: debbugs:16626
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 76a030407b9..be68df1fd6d 100644 --- a/Makefile.in +++ b/Makefile.in @@ -288,7 +288,7 @@ SUBDIR_MAKEFILES = `echo $(SUBDIR_MAKEFILES_IN:.in=) | sed 's|$(srcdir)/||g'` COPYDIR = ${srcdir}/etc ${srcdir}/lisp COPYDESTS = "$(DESTDIR)${etcdir}" "$(DESTDIR)${lispdir}" -all: ${SUBDIR} +all: ${SUBDIR} info .PHONY: all ${SUBDIR} blessmail epaths-force epaths-force-w32 FRC |