diff --git a/doc/Makefile.am b/doc/Makefile.am
index af78fdfa810a636f8c97bf08453eee7956099a18..8641f4a65ba592062eb7a823b4816ea0aa4b0825 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -20,8 +20,8 @@ EXTRAINSTALL=example.opts
 
 # install the html pages
 docdir=$(datadir)/doc/dune-common
-doc_DATA = $(PAGES)
-EXTRA_DIST = $(PAGES)
+doc_DATA = $(PAGES) example.opts
+EXTRA_DIST = $(PAGES) example.opts
 
 # include rules for wml -> html transformation
 include $(top_srcdir)/am/webstuff