--- Makefile.in.orig 2020-01-19 15:22:06 UTC +++ Makefile.in @@ -257,7 +257,7 @@ top_builddir = @top_builddir@ top_srcdir = @top_srcdir@ # Need to build docs after examples because the docs include generated files -SUBDIRS = data src polkit-gnome tools $(am__append_1) doc po +SUBDIRS = data src polkit-gnome tools $(am__append_1) po EXTRA_DIST = \ autogen.sh \ TODO \