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. Any objection? -- William Pursell
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. Any objection? -- William Pursell