From: Ralf Treinen <treinen@debian.org>
Date: Thu, 5 Sep 2019 13:01:01 +0200
Subject: do not attempt to make doc

---
 Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index 3e9f4c9..4c14c19 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -225,7 +225,7 @@ target_alias = @target_alias@
 top_build_prefix = @top_build_prefix@
 top_builddir = @top_builddir@
 top_srcdir = @top_srcdir@
-SUBDIRS = src tex doc
+SUBDIRS = src tex
 # SUBDIRS = src 
 DIST_SUBDIRS = $(SUBDIRS) examples
 CVSRELEASETAG = Release-$(subst .,_,$(VERSION))
