diff --git a/doc/Makefile.am b/doc/Makefile.am
index 872ca4bef..0c59ffbc3 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -72,6 +72,8 @@ ORG_FILES = \
 $(srcdir)/org-stamp: $(ORG_FILES) $(configure_ac)
 	make org && touch $@
 
+$(srcdir)/userdoc: $(srcdir)/org-stamp
+
 EXTRA_DIST = \
   footer.html \
   mainpage.dox \
@@ -79,7 +81,7 @@ EXTRA_DIST = \
   $(srcdir)/spot.html \
   $(ORG_FILES) \
   $(srcdir)/org-stamp \
-  userdoc
+  $(srcdir)/userdoc
 
 .PHONY: org-deploy
 org-deploy: $(srcdir)/org-stamp