[yelp-xsl] doc/yelp-xsl: Remove unused stuff from old xslt doc

[Shaun McCance <shaunm src gnome org>]

commit ce366b36c3dd5d9d36323842780e0ed863267b01
Author: Shaun McCance <shaunm gnome org>
Date:   Wed Nov 7 10:46:28 2012 -0500

    doc/yelp-xsl: Remove unused stuff from old xslt doc

 doc/yelp-xsl/Makefile.am               |   17 -----------------
 doc/yelp-xsl/gnome-doc-xslt.desktop.in |    2 --
 doc/yelp-xsl/gnome-doc-xslt.omf.in     |   10 ----------
 3 files changed, 0 insertions(+), 29 deletions(-)
---
diff --git a/doc/yelp-xsl/Makefile.am b/doc/yelp-xsl/Makefile.am
index 6ff3eb3..9a3863e 100644
--- a/doc/yelp-xsl/Makefile.am
+++ b/doc/yelp-xsl/Makefile.am
@@ -38,23 +38,6 @@ xsldoc-check: C/index.cache
 	done
 endif
 
-gnome-doc-xslt-check-includes:
-	@incs=`$(YELP_XSL_AWK) $(gnome_doc_xslt_includes) "$(srcdir)/C/gnome-doc-xslt.xml" | sort`; \
-	xmls=`echo $(xsldoc_base) | sort`; \
-	exs=""; \
-	for xml in $$xmls; do \
-	  if echo "$$incs" | tr '\n' '\ ' | grep -v "\<$$xml\>" 1>/dev/null; then \
-	    exs="$$exs$$xml "; \
-	fi; done; \
-	if [ "x$$exs" != "x" ]; then \
-	  echo "gnome-doc-xslt.xml does not include the following reference pages: $$exs" 1>&2; \
-	  exit 1; \
-	fi
-gnome-doc-xslt-check-xsldoc: $(xsldoc_docs)
-	@echo "Running xsldoc checks";
-	@(echo "<xsldoc>"; cat $(xsldoc_docs); echo "</xsldoc>") \
-	| xsltproc "$(srcdir)/xsldoc-check.xsl" - 1> /dev/null
-
 .PHONY: xsldoc-clean
 clean-local: xsldoc-clean
 xsldoc-clean: