Re: maude_ vs LIBRARY_

[Ralf Wildenhues]

Hello William,

* William Pursell wrote on Sun, Nov 23, 2008 at 10:05:06AM CET:
>
> In the documentation, generic items appear as
> maude_PRIMARY and LIBRARY_PRIMARY.  This strikes
> me as inconsistent.  I suggest changing, eg,
>
> LIBRARY_LIBTOOLFLAGS to libmaude_LIBTOOLFLAGS.

Well, one point of using 'maude' everywhere is to let these items appear
grouped in the Index.  'libmaude' would prevent that.  OTOH, index
entries and examples used in the flow text of the manual need not be
identical.

Also, there are a few @var{prog}_FLAGS entries in the manual as well.

Unless we can come up with a definite improvement in consistency,
I wouldn't want to change things.

Thanks,
Ralf