Subject: Files missing in share/ ( was: Re: polyroots)
From: Raymond Toy
Date: Wed, 01 Oct 2008 11:14:43 -0400
Robert Dodier wrote:
> On 10/1/08, Jaime Villate <villate at fe.up.pt> wrote:
>
>> Unless I hear any reasons, I can go on and add those files in a few
>> days.
>
> OK by me.
Can't we just always run make_share_list to create the list so we never
make this mistake again?
(Assuming that that is possible. I haven't tried it. Might require GNU
make, but probably everyone is already using it.)
Ray