#this is just a hack to get make dist to work.
-EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html
+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
man_MANS = splint.1
subdir = doc
distdir = $(top_distdir)/$(PACKAGE)-$(VERSION)
distdir: $(DISTFILES)
+ $(mkinstalldirs) $(distdir)/html
@list='$(DISTFILES)'; for file in $$list; do \
if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \