I normally use .ps rather than .pdf so, when I downloaded splint, I
also downloaded the manual.ps file. I normally use gv for both
viewing and printing and, for some reason, printing ceased at page 12
(printing even pages only). After struggling for a while, I downloaded
the .pdf file and managed to print that without problem using the
acrobat reader. Having used it a little, I find it's faulty and my
experiences prompt a couple of suggestions: both of which should be
easy to do.
1. Only by downloading both manual.ps(5Mb) and manual.pdf(0.5Mb) did I
find their sizes. It would be nice if the sizes could be shown. (We
pay for the time on-line in the UK.)
2. The page numbers in both the Contents page and the Index are
different from those in the text. I've not worked out in detail
where they are different but a couple of examples will suffice.
Appendix C is on page 99 according to the Contents page but it is
actually on page 104. `Suppressing warnings', which is the first thing
in Appendix C, shows the same difference.