diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in
index 0642b4d3d..02ed35f0b 100644
--- a/src/doc/Makefile.in
+++ b/src/doc/Makefile.in
@@ -24,7 +24,7 @@ FILTER = sed 's,@VERSION@,$(VERSION),g'
 
 ECL = ../ecl
 
-all: $(INFO_FILES) $(HTML_FILES)
+all: $(INFO_FILES) $(HTML_FILES) developers_manual user_manual
 
 ecl.dvi: $(srcdir)/user.txi $(srcdir)/macros.txi clisp.sty ecl.sty
 	tex $(srcdir)/user.txi