diff options
| author | Lars Ingebrigtsen | 2022-09-19 09:06:31 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen | 2022-09-19 09:06:31 +0200 |
| commit | a39e03d7cdf7c52ecd74fde9adb408108ff7d044 (patch) | |
| tree | b9007a0a30ddf1f8c58e9e79ce776189539d43d0 /admin | |
| parent | e54da280ff4bf458c437f87dd64e848cdc75479c (diff) | |
| download | emacs-a39e03d7cdf7c52ecd74fde9adb408108ff7d044.tar.gz emacs-a39e03d7cdf7c52ecd74fde9adb408108ff7d044.zip | |
make gen-clean remove some newly-added generated files
* admin/unidata/Makefile.in (gen-clean): Remove some newly-added
generated files.
Diffstat (limited to 'admin')
| -rw-r--r-- | admin/unidata/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/admin/unidata/Makefile.in b/admin/unidata/Makefile.in index 4b3e72f0131..f3e653879c0 100644 --- a/admin/unidata/Makefile.in +++ b/admin/unidata/Makefile.in | |||
| @@ -138,7 +138,8 @@ gen-clean: | |||
| 138 | rm -f ${unidir}/charscript.el* | 138 | rm -f ${unidir}/charscript.el* |
| 139 | rm -f ${unidir}/emoji-zwj.el* | 139 | rm -f ${unidir}/emoji-zwj.el* |
| 140 | rm -f ${unifiles} ${unidir}/charprop.el | 140 | rm -f ${unifiles} ${unidir}/charprop.el |
| 141 | rm -f ${unidir}/emoji-labels.el* | 141 | rm -f ${unidir}/emoji-labels.el ${unidir}/idna-mapping.el \ |
| 142 | ${unidir}/uni-confusable.el ${unidir}/uni-scripts.el | ||
| 142 | ## ref: https://lists.gnu.org/r/emacs-devel/2013-11/msg01029.html | 143 | ## ref: https://lists.gnu.org/r/emacs-devel/2013-11/msg01029.html |
| 143 | 144 | ||
| 144 | maintainer-clean: gen-clean distclean | 145 | maintainer-clean: gen-clean distclean |