--- Makefile.in.orig	2020-01-24 23:36:30 UTC
+++ Makefile.in
@@ -264,7 +264,7 @@ target_alias = @target_alias@
 top_build_prefix = @top_build_prefix@
 top_builddir = @top_builddir@
 top_srcdir = @top_srcdir@
-SUBDIRS = data src po docs
+SUBDIRS = data src po
 EXTRA_DIST = \
 	autogen.sh \
 	ChangeLog.pre-git \