diff --git a/user-doc/Makefile b/user-doc/Makefile
index 9e35d3c8ed97a625c73297932d116bc8fa504936..e6f244c62207e99535b5b6ba65f554307a4d2464 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