diff options
Diffstat (limited to 'protocol')
| -rw-r--r-- | protocol/Makefile.am | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/protocol/Makefile.am b/protocol/Makefile.am index e8b6290..9dca324 100644 --- a/protocol/Makefile.am +++ b/protocol/Makefile.am @@ -1,14 +1 @@ dist_pkgdata_DATA = wayland.xml wayland.dtd - -if HAVE_XMLLINT -.PHONY: validate - -.%.xml.valid: %.xml - $(AM_V_GEN)$(XMLLINT) --noout --dtdvalid $(srcdir)/wayland.dtd $^ > $@ - -validate: .wayland.xml.valid - -all-local: validate - -CLEANFILES = .wayland.xml.valid -endif |