diff --git a/doc/html/Makefile.in b/doc/html/Makefile.in
index 9a87b93ab..135b2daef 100644
--- a/doc/html/Makefile.in
+++ b/doc/html/Makefile.in
@@ -32,6 +32,7 @@ distclean: clean
 	rm -rf INPUT
 
 install:
+	$(INSTALL) -d $(docdir); \
 	cp -rf html $(docdir)
 
 uninstall: