[splint.git] / doc / Makefile.am

## Note: starting comments with ## means they don't end up in Makefile

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

man_MANS = splint.1 

all:
Commit	Line	Data
3739432e	1	## Note: starting comments with ## means they don't end up in Makefile
	2
	3	AUTOMAKE_OPTIONS = 1.5 foreign
	4
	5	#this is just a hack to get make dist to work.
	6
	7	## Include them in the distribution
e63e0a4a	8	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
3739432e	9
0a417fb3	10	man_MANS = splint.1
0a417fb3	11
3739432e	12	all: