diff --git a/doc/devel/Makefile.am b/doc/devel/Makefile.am
index 6e7a341444c13347e1650d42dec7c7531fb320bc..607c1d88d297139043d8360e95f654236c988e25 100644
--- a/doc/devel/Makefile.am
+++ b/doc/devel/Makefile.am
@@ -13,7 +13,7 @@ BASEDIR=../..
 CURDIR=doc/devel
 
 # install the html pages
-develdir=$(datadir)/doc/dune-common/devel
+docdir=$(datadir)/doc/dune-common/devel
 if BUILD_DOCS
 DOCFILES = $(PAGES)
 EXTRA_DIST = $(PAGES)