[[Imported from SVN: r6890]]

[[Imported from SVN: r5815]]

* make distcheck work
* make out-of-source builds for tarballs work
... all this only for dune-common...

[[Imported from SVN: r5811]]

[[Imported from SVN: r5804]]

[[Imported from SVN: r5793]]

- add proper web-install target that seperated recursion and local targets
- move web-install to documentation, so that you can call "make web.install" from top-src
- provide fallback targets, if doxygen and/or wml is missing

[[Imported from SVN: r5792]]

[[Imported from SVN: r5756]]

* every module uses either the alyout from dune-common or dune-web
* .wmlrc is not necessary anymore

[[Imported from SVN: r5622]]

* update am/webstuff with new rules, which work without wmlwrap
* this should also fix out-of-source doc generation (although untested)

[[Imported from SVN: r5525]]

[[Imported from SVN: r5211]]

[[Imported from SVN: r4994]]

directory tree. Out of source building was broken before for the
documentation.

[[Imported from SVN: r4988]]

[[Imported from SVN: r4799]]

[[Imported from SVN: r4636]]

[[Imported from SVN: r4553]]

[[Imported from SVN: r4499]]

[[Imported from SVN: r3830]]

[[Imported from SVN: r3699]]

[[Imported from SVN: r1995]]

Use "sh $(top_srcdir)/bin/wmlwrap" instead of $(top_srcdir)/bin/wmlwrap.

[[Imported from SVN: r1934]]

[[Imported from SVN: r1930]]

distributed together with the code. If --with-duneweb is not set a
simplified layout is used for the pages

[[Imported from SVN: r1925]]