diff options
| author | Glenn Morris | 2021-03-03 19:58:47 -0800 |
|---|---|---|
| committer | Glenn Morris | 2021-03-03 19:58:47 -0800 |
| commit | ba33089d50a4f74b88cd7fc9d862d183d096c27d (patch) | |
| tree | f5d26c91f948d4caf3f506b9a31a355362e0f463 | |
| parent | a2ae2d28606cef40aa7d076febb0295fcc44be67 (diff) | |
| download | emacs-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.in | 3 |
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. |
| 88 | ORG_SETUP = $(wildcard ${srcdir}/*-setup.org) | 88 | ORG_SETUP = $(wildcard ${srcdir}/*-setup.org) |
| 89 | ORG_SRC = $(filter-out ${ORG_SETUP},$(wildcard ${srcdir}/*.org)) | 89 | ORG_SRC = $(filter-out ${ORG_SETUP},$(wildcard ${srcdir}/*.org)) |
| 90 | TEXI_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 | ||
| 280 | orgclean: | 281 | orgclean: |
| 281 | rm -f $(addprefix ${srcdir}/,${ORG_SRC:=.texi}) | 282 | rm -f ${TEXI_FROM_ORG} |
| 282 | 283 | ||
| 283 | bootstrap-clean maintainer-clean: distclean infoclean orgclean | 284 | bootstrap-clean maintainer-clean: distclean infoclean orgclean |
| 284 | 285 | ||