Index: doc/Makefile.in
--- doc/Makefile.in.orig	2017-03-27 03:00:22.000000000 +0200
+++ doc/Makefile.in	2017-04-02 11:45:00.371170000 +0200
@@ -214,7 +214,7 @@
 LIBOBJS = @LIBOBJS@
 LIBS = @LIBS@
 LTLIBOBJS = @LTLIBOBJS@
-MAKEINFO = makeinfo --no-split
+MAKEINFO = true
 MKDIR_P = @MKDIR_P@
 OBJEXT = @OBJEXT@
 PACKAGE = @PACKAGE@
