Skip to content
Snippets Groups Projects
Commit fe4a4f96 authored by Markus Blatt's avatar Markus Blatt
Browse files

merged example.opts handling from 1.0 -r 4900:4901

[[Imported from SVN: r4902]]
parent 56d113f0
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment