diff --git a/docs/manuals.mak b/docs/manuals.mak index 51f5ec7142..c5ca26b627 100644 --- a/docs/manuals.mak +++ b/docs/manuals.mak @@ -166,6 +166,7 @@ $(BUILDIMAGESDIR)/%.ps: %.png # make sure xml validates properly check-local: $(BUILDDIR)/$(MAIN) + @cp -f $(srcdir)/../image-png $(BUILDDIR)/image.entities cd $(BUILDDIR) && xmllint -noout -valid $(MAIN) ### this is a website upload target