File: Makefile

package info (click to toggle)
splint-doc 3.1.1-2
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k, sarge
  • size: 2,656 kB
  • ctags: 513
  • sloc: makefile: 50
file content (4 lines) | stat: -rw-r--r-- 130 bytes parent folder | download
1
2
3
4

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