[splint-discuss] Sources for the documentation

[Y Giridhar Appaji Nag]

Hi Folks,

Where can I find the sources to the manuals (manual.htm and manual.pdf
in splint-3.1.2.src.tgz and http://www.splint.org/manual/) distributed
with splint?  I looked in the CVS and did not find anything that looked
like source expect the manual.doc MS word document.  Is manual.doc the
source?

Also, info at splint.org doesn't seem to work anymore.  Wondering if it
would be updated by the webmasters of splint.org :)

Giridhar

-- 
Y Giridhar Appaji Nag | http://www.appaji.net/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20071214/97a1750c/attachment.bin