Updated index in manual.

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 933d80fefbf4f0f0195dea7b1df23a96ae655dd9..1c3efadeb8cc8f1f730fd00b17b29aef96216362 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -5,7 +5,7 @@ AUTOMAKE_OPTIONS = 1.5 foreign
 #this is just a hack to get make dist to work.
 
 ## Include them in the distribution
-EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html manual.pdf  manual.css html/manual.htm html/footer.html html/header.html html/realloc.htm
+EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html darwin.html manual.pdf  manual.css html/manual.htm html/footer.html html/header.html html/realloc.htm
 
 man_MANS = splint.1 
 

diff --git a/doc/Makefile.in b/doc/Makefile.in
index b4f8bf60921b21a24a4687f8df7cd988ff7ea199..7f7cfea9e4e53a054c08f92339d1c1a343927764 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -99,7 +99,7 @@ AUTOMAKE_OPTIONS = 1.5 foreign
 
 
 #this is just a hack to get make dist to work.
-EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html manual.pdf  manual.css html/manual.htm html/footer.html html/header.html html/realloc.htm
+EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html darwin.html manual.pdf  manual.css html/manual.htm html/footer.html html/header.html html/realloc.htm
 
 man_MANS = splint.1 
 subdir = doc

diff --git a/doc/manual.doc b/doc/manual.doc
index d488dfacb206bd1a78c179ff0924e10eb464b5e2..0eaeb5a75ef17a53c7086a2ae93623af593f72a4 100644 (file)
Binary files a/doc/manual.doc and b/doc/manual.doc differ

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