[libgda/LIBGDA_5.0] Have "make check" work as GdaSql's help is not mallard

[Vivien Malerba <vivien src gnome org>]

commit 2068c95c1a5d32575629c5f9f44f2558af22fd61
Author: Vivien Malerba <malerba gnome-db org>
Date:   Sun Jan 22 16:41:17 2012 +0100

    Have "make check" work as GdaSql's help is not mallard
    
    and thus should not be tested for mallard syntax

 gnome-doc-utils.make   |    3 ++-
 tools/help/Makefile.am |    1 +
 2 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/gnome-doc-utils.make b/gnome-doc-utils.make
index 0da2cf9..cae6346 100644
--- a/gnome-doc-utils.make
+++ b/gnome-doc-utils.make
@@ -95,6 +95,7 @@ DOC_MODULE ?=
 ## @ DOC_ID
 ## The unique identifier for a Mallard document
 DOC_ID ?=
+_DOC_CHECK = $(if $(DOC_NOCHECK),,$(DOC_NOCHECK))
 
 ## @ DOC_PAGES
 ## Page files in a Mallard document
@@ -504,7 +505,7 @@ dist-doc-dsk:
 .PHONY: check-doc-docs check-doc-omf
 check:							\
 	$(if $(DOC_MODULE),check-doc-docs)		\
-	$(if $(DOC_ID),check-doc-pages)			\
+	$(if $(_DOC_CHECK),check-doc-pages)			\
 	$(if $(_DOC_OMF_IN),check-doc-omf)
 
 check-doc-docs: $(_DOC_C_DOCS) $(_DOC_LC_DOCS)
diff --git a/tools/help/Makefile.am b/tools/help/Makefile.am
index 5776ef3..8bbc3f0 100644
--- a/tools/help/Makefile.am
+++ b/tools/help/Makefile.am
@@ -1,6 +1,7 @@
 include $(top_srcdir)/gnome-doc-utils.make
 
 DOC_ID = gda-sql
+DOC_NOCHECK = yes
 
 DOC_PAGES = \
 	gda-sql-help.xml