*** The commands lm-verify and lm-synopsis are now interactive.  lm-verify<BR>
checks that the library file has proper sections and headers, and
lm-synopsis extracts first line "synopsis'"information.