diff --git a/Makefile.am b/Makefile.am
index c4ee4ea7..d17b4d3d 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -1282,6 +1282,10 @@ endif
 
 web: $(LIST_XML)
 
+# All docs
+
+doc: $(LIST_MAN) $(LIST_TXT)
+
 # Windows distribution
 
 DISTWIN = \