[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
master 4e83fd0 2/3: * doc/misc/Makefile.in (echo-sources): New phony tar
From: |
Glenn Morris |
Subject: |
master 4e83fd0 2/3: * doc/misc/Makefile.in (echo-sources): New phony target. |
Date: |
Thu, 4 Mar 2021 13:47:24 -0500 (EST) |
branch: master
commit 4e83fd00bd97894338418db97121f267fa162608
Author: Glenn Morris <rgm@gnu.org>
Commit: Glenn Morris <rgm@gnu.org>
* doc/misc/Makefile.in (echo-sources): New phony target.
---
doc/misc/Makefile.in | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index ed33364..87d87bf 100644
--- a/doc/misc/Makefile.in
+++ b/doc/misc/Makefile.in
@@ -94,6 +94,15 @@ TEXI_FROM_ORG = ${ORG_SRC:.org=.texi}
TARGETS_1 = $(INFO_INSTALL:ccmode=cc-mode)
TARGETS = $(TARGETS_1:info.info=info)
+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)
PDF_TARGETS = $(TARGETS:=.pdf)