diff --git a/doc/buildsystem/Makefile.am b/doc/buildsystem/Makefile.am
index 22dbb30b9af3b1ce9df3ff37281c4e9fc2b42e93..80ae211954b6d40dfc046ab86976e02a9bcd3502 100644
--- a/doc/buildsystem/Makefile.am
+++ b/doc/buildsystem/Makefile.am
@@ -9,6 +9,7 @@ docdir=$(datadir)/doc/dune-common/buildsystem
 if BUILD_DOCS
   DOCFILES=buildsystem.pdf
   EXTRA_DIST=buildsystem.pdf
+  EXTRAINSTALL=buildsystem.pdf
 endif
 
 # include predefined rules