Human-readable lint libraries

[Doug Elias]

As the last line of the Sun man-page for "lint" reads:
  ...it is still useful to produce stripped down lint library 
  source files and to use  them  to generate lint libraries.

However, there are no flags (or combinations of same) which
seem to result in the production of said "stripped down lint
library source files".  Does anyone out there have any suggestions
(besides the obvious -- "make it yourself by hand") as to how
to go about creating these?  One of the people in the group
is currently writing a simple little program which will pull
out all #includes and function definitions, but if somebody out 
there already has some s/w which creates lint source files, we'd
really like to hear about it.

Many thanks, and please respond via email.

doug
-- 
#    ____       Internet:   elias at theory.tn.cornell.edu
#  dr _|_)oug   USmail:     Adv. Comp. Res. Inst./Cornell Theory Center
#    (_|                    704A TheoryCtrBldg/C.U./Ithaca/N.Y./14853-5201
#    (_|__      MaBelle:    607-254-8826   Fax: 607-254-8888