diff --git a/Makefile b/Makefile
index 9c419e0e..4ca89448 100644
--- a/Makefile
+++ b/Makefile
@@ -46,6 +46,7 @@ cleandeb:
 	rm -f configure-stamp build-stamp
 
 MANIFEST: MANIFEST.in setup.py
+	$(MAKE) -C doc/en all nav
 	$(PYTHON) setup.py sdist --manifest-only
 
 .PHONY: locale