diff options
| author | Glenn Morris <rgm@gnu.org> | 2021-04-04 17:24:27 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2021-04-04 17:24:27 -0700 |
| commit | a44d423a5aaf97790ce95350a38590fbb17b3220 (patch) | |
| tree | 9e0c07b16d08cac8d98cbee0fe5772d8be417fe8 /doc/misc/Makefile.in | |
| parent | a86edac26b6648c19cb8e278125978b31f3a093a (diff) | |
| download | emacs-a44d423a5aaf97790ce95350a38590fbb17b3220.tar.gz | |
* doc/misc/Makefile.in (echo-sources): Make it not the first target.
Diffstat (limited to 'doc/misc/Makefile.in')
| -rw-r--r-- | doc/misc/Makefile.in | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index ae960fe769d..7982c0dc5ae 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -100,10 +100,6 @@ texi_sources = $(addsuffix .texi,${TARGETS}) texi_notgen = $(filter-out $(notdir ${TEXI_FROM_ORG}),${texi_sources}) texi_and_org = $(notdir ${ORG_SRC}) ${texi_notgen} SOURCES = $(sort ${texi_and_org}) -.PHONY: echo-sources -## Used by the top-level Makefile. -echo-sources: - @echo ${SOURCES} DVI_TARGETS = $(TARGETS:=.dvi) HTML_TARGETS = $(TARGETS:=.html) @@ -122,7 +118,7 @@ ENVADD = $(AM_V_GEN)TEXINPUTS="$(srcdir):$(emacsdir):$(TEXINPUTS)" \ gfdl = ${srcdir}/doclicense.texi style = ${emacsdir}/docstyle.texi -.PHONY: info dvi html pdf ps echo-info $(INFO_TARGETS) +.PHONY: info dvi html pdf ps echo-info echo-sources $(INFO_TARGETS) ## Prevent implicit rule triggering for foo.info. .SUFFIXES: @@ -138,6 +134,9 @@ echo-info: @echo "$(INFO_INSTALL) " | \ sed -e 's|[^ ]*/||g' -e 's/\.info//g' -e "s/ */.info /g" +echo-sources: + @echo ${SOURCES} + dvi: $(DVI_TARGETS) html: $(HTML_TARGETS) |