]> andersk Git - splint.git/blobdiff - doc/Makefile.am
Fixed type error causing a seg fault.
[splint.git] / doc / Makefile.am
index 8b067aee00842b12a26d39b700caa794a8332ecc..f1d05f7ace2ee6b4c88f7f7cb042e6fbc932d7c9 100644 (file)
@@ -5,6 +5,8 @@ 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
+EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html manual.pdf faq.txt manual.css html/manual.htm html/footer.html html/header.html html/realloc.htm
+
+man_MANS = splint.1 
 
 all:
\ No newline at end of file
This page took 0.035484 seconds and 4 git commands to generate.