Re: extraclean and admin/grammars [was Re: Git master head build failure?]

[Eli Zaretskii]

> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Date: Mon, 12 Apr 2021 22:20:14 -0400
> Cc: rgm@gnu.org, theophilusx@gmail.com, emacs-devel@gnu.org
> 
> > Assuming you tested that during bootstrap (which you say you never
> > do), and assuming there's no better way of breaking the circular
> > dependency, I'm okay with the change.
> 
> There might be a better way (I think providing an ELisp syntax for the
> wisent source files could be such a thing), but as long as we can't find
> anyone motivated enough to tackle that, it seems like the better way, yes.
> 
> > We should also make sure grm-wy-boot.el is updated in Git whenever
> > grammar.wy changes.
> 
> Done, thanks.

After updating from upstream, I see that cedet/semantic/grm-wy-boot.el
is byte-compiled by the build process.  Should it be?