Re: maude_ vs LIBRARY_

[Ralf Wildenhues]

* William Pursell wrote on Sun, Nov 23, 2008 at 03:04:36PM CET:
> Ralf Wildenhues wrote:
>> * William Pursell wrote on Sun, Nov 23, 2008 at 10:05:06AM CET:
>>>  I suggest changing, eg,
>>> LIBRARY_LIBTOOLFLAGS to libmaude_LIBTOOLFLAGS.
>>
>> Unless we can come up with a definite improvement in consistency,
>> I wouldn't want to change things.
>
> What about changing LIBRARY_PRIMARY to libfoo_PRIMARY?

Well, libmaude would be better than libfoo, for consistency reasons
alone.

> To me, it seems that writing it as "LIBRARY_" makes it appear to be a
> special name like "EXTRA_".

Ah, good point; at least the info documentation is quite misleading
due to its rendering of @var{}.

However, this point applies equally well to the instances of @var{prog}.
Can you fix them as well?

Thanks,
Ralf