[glom/gtkmm4v4] Builds: Make --disable-documentation really work.

[Murray Cumming <murrayc src gnome org>]

commit 78ca8e232725a69a0b454b40002d247cfe22d180
Author: Murray Cumming <murrayc murrayc com>
Date:   Thu Nov 2 23:03:15 2017 +0100

    Builds: Make --disable-documentation really work.
    
    Really don't try to build the user-guid if documentation has
    been disabled.

 Makefile.am |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/Makefile.am b/Makefile.am
index d5c7145..19bab02 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -43,7 +43,7 @@ endif
 if ENABLE_DOCUMENTATION
 yelp_doc_subdirs = docs/user-guide
 else
-yelp_doc_subdirs = docs/user-guide
+yelp_doc_subdirs =
 endif
 
 SUBDIRS = po $(doc_subdirs) $(yelp_doc_subdirs)