diff options
author | Greg Minshall <minshall@umich.edu> | 2021-05-21 18:42:35 +0300 |
---|---|---|
committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-05-29 22:36:08 +0200 |
commit | c34aae1d6b0bcdc9f069cc4f54590338f2e7031d (patch) | |
tree | 391ce78607242896fc6cded7d8144c3ed4f0b0ac | |
parent | 54863e802ff89778b28bab79fb418b03c9abd5a5 (diff) | |
download | org-mode-c34aae1d6b0bcdc9f069cc4f54590338f2e7031d.tar.gz |
doc/Makefile: `cleanall` target now deletes doc/{org,orgguide}.texi
* doc/Makefile: `cleanall` target now deletes doc/{org,orgguide}.texi
In the past, at least one of these seems to have been a tracked
(source?) file. That is no longer the case.
-rw-r--r-- | doc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index da5a07a..d934258 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -58,6 +58,7 @@ clean: org-version.tex *.aux *.cp *.cps *.dvi *.fn *.fns *.ky *.kys \ *.pg *.pgs *.toc *.tp *.tps *.vr *.vrs *.log *.html *.ps cleanall: clean + $(RM) org.texi orgguide.texi $(RMR) guide manual clean-install: |