[[Imported from SVN: r942]]

[[Imported from SVN: r901]]

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

[[Imported from SVN: r896]]

[[Imported from SVN: r863]]

[[Imported from SVN: r856]]

[[Imported from SVN: r847]]

[[Imported from SVN: r846]]

[[Imported from SVN: r845]]

[[Imported from SVN: r844]]

[[Imported from SVN: r838]]

without documentation.


[[Imported from SVN: r837]]

[[Imported from SVN: r836]]

[[Imported from SVN: r808]]

[[Imported from SVN: r805]]

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

[[Imported from SVN: r780]]

[[Imported from SVN: r747]]

Makefiles in doc and doc/comm are substituted in the distribution
tarballs as just the pdfs are distributed and there is therefore no
need to build from latex.

[[Imported from SVN: r743]]

[[Imported from SVN: r736]]

[[Imported from SVN: r731]]

[[Imported from SVN: r729]]

[[Imported from SVN: r728]]

[[Imported from SVN: r724]]

[[Imported from SVN: r665]]

[[Imported from SVN: r662]]

[[Imported from SVN: r661]]

[[Imported from SVN: r655]]

[[Imported from SVN: r646]]

[[Imported from SVN: r627]]

[[Imported from SVN: r626]]

[[Imported from SVN: r625]]

[[Imported from SVN: r622]]

[[Imported from SVN: r621]]

[[Imported from SVN: r605]]

[[Imported from SVN: r599]]

[[Imported from SVN: r598]]

[[Imported from SVN: r595]]

[[Imported from SVN: r594]]

[[Imported from SVN: r591]]

[[Imported from SVN: r590]]

[[Imported from SVN: r589]]