The documentation is still not built and therefore not installed

[[Imported from SVN: r6602]]

[[Imported from SVN: r6404]]

[[Imported from SVN: r6360]]

[[Imported from SVN: r6339]]

Please somebody verify that this is proper way.

[[Imported from SVN: r6014]]

[[Imported from SVN: r6013]]

[[Imported from SVN: r5977]]

[[Imported from SVN: r5923]]

[[Imported from SVN: r5922]]

[[Imported from SVN: r5815]]

[[Imported from SVN: r5812]]

[[Imported from SVN: r5804]]

[[Imported from SVN: r5794]]

[[Imported from SVN: r5782]]

[[Imported from SVN: r5775]]

[[Imported from SVN: r5769]]

[[Imported from SVN: r5756]]

[[Imported from SVN: r5681]]

[[Imported from SVN: r5680]]

[[Imported from SVN: r5636]]

* bin/dunedoxynize reads a file doc/doxygen/Doxylocal
* it merges the file dune-common/doc/doxygen/Doxystyle
* it write Doxyfile.in

[[Imported from SVN: r5634]]

* Turn STRIP_CODE_COMMENTS on in Doxyfile.in.  Otherwise, doxygen seems to
  remove comments from \code...\endcode blocks.  This has the side effect that
  comments are no longer stripped from the source code doxygen presents via
  the web interface, which is probably a good thing in itself.

[[Imported from SVN: r5616]]

how it works

[[Imported from SVN: r5591]]

[[Imported from SVN: r5565]]

using the wml templates from dune-web.

[[Imported from SVN: r5529]]

[[Imported from SVN: r5528]]

[[Imported from SVN: r5526]]

[[Imported from SVN: r5211]]

[[Imported from SVN: r5171]]

* use doxy-header/footer.html only wen building with dune-web
* fix #267

[[Imported from SVN: r5164]]

[[Imported from SVN: r5140]]

[[Imported from SVN: r5087]]

[[Imported from SVN: r5069]]

[[Imported from SVN: r5042]]

[[Imported from SVN: r5041]]

[[Imported from SVN: r5033]]

[[Imported from SVN: r5031]]

installation works.


[[Imported from SVN: r5022]]

[[Imported from SVN: r5021]]

[[Imported from SVN: r4976]]