Updated index in manual.

[splint.git] / doc / Makefile.in

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