--- a/Makefile.orig	2019-04-04 18:19:45.007668656 +0200
+++ a/Makefile	2019-04-04 18:23:00.723165465 +0200
@@ -1,6 +1,6 @@
 topdir:=.

-SUBDIRS=src platforms doc
+SUBDIRS=src platforms
 include autoconf/targets.mak

 # Force platforms/ to build after src/