mirror of https://github.com/GNOME/gimp.git
menus: do not validate the DTD for GtkBuilder UI format.
This commit is contained in:
parent
c7c5f126b1
commit
5790adcfd3
|
@ -88,7 +88,7 @@ endif
|
|||
validate: $(menudata_DATA)
|
||||
if HAVE_XMLLINT
|
||||
@for menu in $^; do \
|
||||
$(XMLLINT) --noout --path $(srcdir) --valid $$menu || \
|
||||
$(XMLLINT) --noout --path $(srcdir) $$menu || \
|
||||
( echo "*** $$menu INVALID ***"; exit 1; ) ; \
|
||||
done
|
||||
endif
|
||||
|
|
Loading…
Reference in New Issue