diff options
Diffstat (limited to 'pkgtools/pkglint4/files/doc/Makefile')
-rw-r--r-- | pkgtools/pkglint4/files/doc/Makefile | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/pkgtools/pkglint4/files/doc/Makefile b/pkgtools/pkglint4/files/doc/Makefile deleted file mode 100644 index 049a20531c0..00000000000 --- a/pkgtools/pkglint4/files/doc/Makefile +++ /dev/null @@ -1,27 +0,0 @@ -# $NetBSD: Makefile,v 1.1 2015/11/25 16:42:21 rillig Exp $ -# - -XMLDOCS+= pkglint.xml -XMLDOCS+= chap.intro.xml -XMLDOCS+= chap.defs.xml -XMLDOCS+= chap.types.xml -XMLDOCS+= chap.code.xml -XMLDOCS+= chap.statemachines.xml -XMLDOCS+= chap.future.xml - -IMAGES+= statemachine.patch.png -IMAGES+= statemachine.shellcmd.png - -.PHONY: all -all: pkglint.html - -pkglint.html: ${XMLDOCS} ${IMAGES} stylesheet.xsl - xmlto -m stylesheet.xsl html-nochunks pkglint.xml - -.PHONY: clean -clean: - rm -f *.html *.png - -.SUFFIXES: .dia .png -.dia.png: - dia -e ${.TARGET:Q} -t png ${.IMPSRC:Q} |