From: Nikos Mavrogiannopoulos <nmav@gnutls.org>
Date: Thu, 22 Jul 2010 17:43:43 +0000 (+0200)
Subject: ignore html errors otherwise make dist doesn't work.
X-Git-Tag: gnutls_2_11_3~92
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=8dd0ecc78e95f1dcc17ea74a6140ba51e64c90ee;p=thirdparty%2Fgnutls.git

ignore html errors otherwise make dist doesn't work.
---

diff --git a/gtk-doc.make b/gtk-doc.make
index 1ae908d66b..ab9cbf7024 100644
--- a/gtk-doc.make
+++ b/gtk-doc.make
@@ -220,7 +220,7 @@ dist-hook: dist-check-gtkdoc dist-hook-local
 	mkdir $(distdir)/tmpl
 	mkdir $(distdir)/html
 	-cp $(srcdir)/tmpl/*.sgml $(distdir)/tmpl
-	cp $(srcdir)/html/* $(distdir)/html
+	-cp $(srcdir)/html/* $(distdir)/html
 	-cp $(srcdir)/$(DOC_MODULE).pdf $(distdir)/
 	-cp $(srcdir)/$(DOC_MODULE).types $(distdir)/
 	-cp $(srcdir)/$(DOC_MODULE)-sections.txt $(distdir)/