Updated index in manual.

[splint.git] / doc / manual.pdf

diff --git a/doc/manual.pdf b/doc/manual.pdf
index 342fd8c7376c91486f5b7d0ba81675196ac7e012..5d14c0266cd0265876d9199d8e7c88b018a2ceeb 100755 (executable)
Binary files a/doc/manual.pdf and b/doc/manual.pdf differ