diff options
Diffstat (limited to 'admin/charsets/Makefile.in')
| -rw-r--r-- | admin/charsets/Makefile.in | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/admin/charsets/Makefile.in b/admin/charsets/Makefile.in index 1fe029984b8..00424843bc4 100644 --- a/admin/charsets/Makefile.in +++ b/admin/charsets/Makefile.in @@ -297,17 +297,19 @@ ${charsetdir}/%.map: ${GLIBC_CHARMAPS}/%.gz ${mapconv} ${compact} ${AM_V_GEN}${run_mapconv} $< '/^<.*[ ]\/x/' GLIBC-1 ${compact} > $@ -.PHONY: clean bootstrap-clean distclean maintainer-clean extraclean +.PHONY: clean bootstrap-clean distclean maintainer-clean extraclean gen-clean clean: +## IMO this should also run gen-clean. bootstrap-clean: clean distclean: clean rm -f Makefile -maintainer-clean: distclean - -## Do not remove these files, even in a bootstrap. They rarely change. -extraclean: +gen-clean: rm -f ${CHARSETS} ${SED_SCRIPT} ${TRANS_TABLE} ${srcdir}/charsets.stamp + +maintainer-clean: gen-clean distclean + +extraclean: maintainer-clean |