aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGlenn Morris2021-03-03 19:58:47 -0800
committerGlenn Morris2021-03-03 19:58:47 -0800
commitba33089d50a4f74b88cd7fc9d862d183d096c27d (patch)
treef5d26c91f948d4caf3f506b9a31a355362e0f463
parenta2ae2d28606cef40aa7d076febb0295fcc44be67 (diff)
downloademacs-ba33089d50a4f74b88cd7fc9d862d183d096c27d.tar.gz
emacs-ba33089d50a4f74b88cd7fc9d862d183d096c27d.zip
Fix a doc/misc clean rule
* doc/misc/Makefile.in (TEXI_FROM_ORG): New variable. (orgclean): Fix rule.
-rw-r--r--doc/misc/Makefile.in3
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index 060bffa638b..ed33364440d 100644
--- a/doc/misc/Makefile.in
+++ b/doc/misc/Makefile.in
@@ -87,6 +87,7 @@ INFO_TARGETS = $(INFO_COMMON) efaq-w32
87## are not as well formatted as handwritten ones. 87## are not as well formatted as handwritten ones.
88ORG_SETUP = $(wildcard ${srcdir}/*-setup.org) 88ORG_SETUP = $(wildcard ${srcdir}/*-setup.org)
89ORG_SRC = $(filter-out ${ORG_SETUP},$(wildcard ${srcdir}/*.org)) 89ORG_SRC = $(filter-out ${ORG_SETUP},$(wildcard ${srcdir}/*.org))
90TEXI_FROM_ORG = ${ORG_SRC:.org=.texi}
90 91
91# There are some naming differences between the info targets and the other 92# There are some naming differences between the info targets and the other
92# targets, so let's resolve them here. 93# targets, so let's resolve them here.
@@ -278,7 +279,7 @@ infoclean:
278.PHONY: orgclean 279.PHONY: orgclean
279 280
280orgclean: 281orgclean:
281 rm -f $(addprefix ${srcdir}/,${ORG_SRC:=.texi}) 282 rm -f ${TEXI_FROM_ORG}
282 283
283bootstrap-clean maintainer-clean: distclean infoclean orgclean 284bootstrap-clean maintainer-clean: distclean infoclean orgclean
284 285