From 320df0b52dd49ead477805f5502caf5357bbae60 Mon Sep 17 00:00:00 2001
From: Daira Hopwood <daira@jacaranda.org>
Date: Thu, 5 Sep 2013 19:16:57 +0100
Subject: [PATCH] Sun Jun 24 00:23:19 BST 2012  david-sarah@jacaranda.org   *
 Makefile: Add 'check-rst' target to check .rst files for errors. Also add
 'doc-checks' which at the moment just runs check-rst, but might do more in
 future. fixes #1780

---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index 38bb6479..7b6a895d 100644
--- a/Makefile
+++ b/Makefile
@@ -145,6 +145,12 @@ check-umids:
 	-$(PYTHON) misc/coding_tools/check-umids.py `find $(SOURCES) -name '*.py'`
 	@echo
 
+doc-checks: check-rst
+
+check-rst:
+	@for x in `find *.rst docs -name "*.rst"`; do rst2html -v $${x} >/dev/null; done 2>&1 |grep -v 'Duplicate implicit target name:'
+	@echo
+
 count-lines:
 	@echo -n "files: "
 	@find src -name '*.py' |grep -v /build/ |wc -l
-- 
2.45.2