[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: extraclean and admin/grammars [was Re: Git master head build failure
From: |
Eli Zaretskii |
Subject: |
Re: extraclean and admin/grammars [was Re: Git master head build failure?] |
Date: |
Sun, 04 Apr 2021 20:12:27 +0300 |
> From: Glenn Morris <rgm@gnu.org>
> Date: Sun, 04 Apr 2021 12:28:45 -0400
>
> I've tidied this up, so it is at least now possible to recommend the
> standard maintainer-clean instead of the non-standard extraclean.
>
> Personally I'm sure bootstrap should be equivalent to maintainer-clean,
> except maybe for leim/ja-dic. But the generated files from
> admin/{charsets,grammars,unidata} are all trivial to recreate,
> and I don't see why there has to be a big debate about it.
That's just rude! No matter what you think about the subject,
disagreement was clearly voiced, and the least one could expect in a
friendly community is that you talk before you act to the contrary.
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], (continued)
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/01
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/03
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/12
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/01
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Glenn Morris, 2021/04/04
- Re: extraclean and admin/grammars [was Re: Git master head build failure?],
Eli Zaretskii <=
Re: Git master head build failure?, Eli Zaretskii, 2021/04/01
Re: Git master head build failure?, Gregor Zattler, 2021/04/01