[[Imported from SVN: r7124]]

[[Imported from SVN: r6360]]

Please somebody verify that this is proper way.

[[Imported from SVN: r6014]]

[[Imported from SVN: r6013]]

[[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: r5211]]

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

[[Imported from SVN: r5164]]

[[Imported from SVN: r5042]]

installation works.


[[Imported from SVN: r5022]]

[[Imported from SVN: r5021]]

[[Imported from SVN: r4976]]

[[Imported from SVN: r4973]]

The trick is to test for doc/doxygen/Doxydep which is only there in
the svn tree!

[[Imported from SVN: r4960]]

[[Imported from SVN: r4864]]

[[Imported from SVN: r4862]]

[[Imported from SVN: r4802]]

[[Imported from SVN: r4799]]

For make install we try to build the doxygen documentation anyway as 
I currently see no way around this.

[[Imported from SVN: r4590]]

when building the distribution tarfile use shortnames for doxygen and long names for the web-install.

[[Imported from SVN: r4584]]

[[Imported from SVN: r4562]]

Doxygen now creates files with short names as tar has problems with long names (those with more than 99
characters!) that doxygen creates by default.
The doxygen documentation now gets installed too!

[[Imported from SVN: r4561]]

[[Imported from SVN: r4553]]

[[Imported from SVN: r4533]]

CLOSE bug #57

[[Imported from SVN: r3827]]

[[Imported from SVN: r3824]]

[[Imported from SVN: r3823]]

[[Imported from SVN: r3193]]

...feel free to add more tips :-)

[[Imported from SVN: r3165]]

[[Imported from SVN: r3154]]

* navigation is included in the doxygen html files
* doxygen module structure is defined by the ordering in
  doxygen/modules:
  these entries are created first, all others, as they are parsed
* updated dune-doxy.css to fit to the new doxy-header and to use a
  much definitions from dune.css as possible

[[Imported from SVN: r3144]]

fixes bug #13

[[Imported from SVN: r2154]]

[[Imported from SVN: r2147]]

[[Imported from SVN: r1997]]