[[Imported from SVN: r2335]]

[[Imported from SVN: r2334]]

[[Imported from SVN: r2260]]

[[Imported from SVN: r2256]]

[[Imported from SVN: r2255]]

[[Imported from SVN: r2218]]

[[Imported from SVN: r2184]]

[[Imported from SVN: r2174]]

[[Imported from SVN: r2167]]

[[Imported from SVN: r2166]]

[[Imported from SVN: r2159]]

[[Imported from SVN: r2158]]

[[Imported from SVN: r2147]]

[[Imported from SVN: r1997]]

and a script to add the include statement to all Makefile.am files

[[Imported from SVN: r1994]]

if wml is not installed

[[Imported from SVN: r1933]]

[[Imported from SVN: r1929]]

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

[[Imported from SVN: r1925]]

[[Imported from SVN: r1430]]

[[Imported from SVN: r1407]]

the .opts-mechanism

[[Imported from SVN: r1395]]

through source directories and applies a list of renames to C/C++
identifiers

[[Imported from SVN: r1394]]

tested on autotool-agnostic systems

[[Imported from SVN: r1241]]

set up a new dune based project.

[[Imported from SVN: r831]]