From 22c13b49d8d6737ad32d6d2ab8cea807ce4a8d03 Mon Sep 17 00:00:00 2001
From: Steffen Jaeckel <s@jaeckel.eu>
Date: Fri, 14 Jul 2017 12:13:10 +0200
Subject: [PATCH] oops, refman.pdf can't be built with DOT

---
 doc/makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/makefile b/doc/makefile
index 1222eb9..30a76c1 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -14,7 +14,10 @@ LEFTOVERS=*.dvi *.log *.aux *.toc *.idx *.ilg *.ind *.out *.lof
 doxygen:
 	doxygen $(silent_stdout)
 
-doxy: doxygen
+patched_doxygen:
+	(cat Doxyfile && echo "HAVE_DOT=no") | doxygen - $(silent_stdout)
+
+doxy: patched_doxygen
 	${MAKE} -C doxygen/latex $(silent_stdout) && mv -f doxygen/latex/refman.pdf .
 	@echo The huge doxygen PDF should be available as doc/refman.pdf