From: drl7x <drl7x>
Date: Tue, 29 Apr 2003 02:56:40 +0000 (+0000)
Subject: Updated index in manual.
X-Git-Tag: splint-3_1_1~1
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/0c82d9b1f80463b5f6a4183a60bc8a2d4edacf0a?ds=sidebyside

Updated index in manual.
---

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 933d80f..1c3efad 100644
--- 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 b4f8bf6..7f7cfea 100644
--- 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 d488dfa..0eaeb5a 100644
Binary files a/doc/manual.doc and b/doc/manual.doc differ
diff --git a/doc/manual.pdf b/doc/manual.pdf
index 342fd8c..5d14c02 100755
Binary files a/doc/manual.pdf and b/doc/manual.pdf differ