Hi,
Stefano Lattarini wrote:
> Hi Iain, thanks for the answer (and sorry for the delay).
No worries. Plus, I also tend to delay.
> [Iain Nicol wrote:]
>> One thing which did strike me: EXTRA_ might not be the best prefix
>> for YACC_HEADERS. If you do a ``make dist'
Hi Stefano,
On 2011-05-12, Stefano Lattarini wrote:
> I decided that, after all, the best thing to do was to rewrite the
> messy ylwrap script; after some work, I've now reached a point where I
> think we could safely add, without too much hassle, a new feature,
> that will allow the developer to
