From dc6fa44f2c26424d5a552146c1a97c53eb5f4f61 Mon Sep 17 00:00:00 2001
From: Gareth Tribello <gareth.tribello@gmail.com>
Date: Tue, 30 Jul 2019 09:11:14 +0100
Subject: [PATCH] Temporarily turned off example checking

---
 user-doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user-doc/Makefile b/user-doc/Makefile
index 9e35d3c8e..e6f244c62 100644
--- a/user-doc/Makefile
+++ b/user-doc/Makefile
@@ -18,7 +18,7 @@ all:
 ifeq ($(make_doc),yes)
 	make_pdfdoc=$(make_pdfdoc) ./extract
 	# check examples in input file:
-	./go-example-check
+	#./go-example-check
 	make_pdfdoc=$(make_pdfdoc) ./go-doxygen
 	cp *png html/
 	./report_errors
-- 
GitLab