diff --git a/Makefile.in b/Makefile.in
index c68d7aa5d..621d787f8 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -213,7 +213,7 @@ endif
 #
 
 ifeq ($(HAVE_DOXYGEN), 1)
-  user_doc=user_doc
+  user_doc=doc
   share_man=share/man
 else
   user_doc=