Clean-up the build system and the repository a bit.
[splint-patched.git] / doc / 
tree61089fd81cdedc0b66847105c5c311ffec9d0aca
drwxr-xr-x   ..
-rw-r--r-- 374 Makefile.am
-rwxr-xr-x 2109 darwin.html
-rwxr-xr-x 2115 freebsd.html
drwxr-xr-x - html
-rwxr-xr-x 2104 linux.html
-rwxr-xr-x 840 manual.css
-rw-r--r-- 947200 manual.doc
-rwxr-xr-x 545847 manual.pdf
-rw-r--r-- 8880 splint.1
-rwxr-xr-x 2110 sunos.html