
install:
	mkdir -p ${DESTDIR}/usr/share/doc/splint-doc/manual/
	cp -r www.splint.org/manual ${DESTDIR}/usr/share/doc/splint-doc/
