Roland Kaufmann 5658c8b624 Enable dunecontrol to use a build tree as module dir ...

dunecontrol looks for a dune.module to determine whether a directory
contains a module or not. By copying this file to the build tree, we
can use (out-of-source!) build trees in dunecontrol too.

2013-03-06 20:00:42 +01:00

..

Modules

Enable dunecontrol to use a build tree as module dir

2013-03-06 20:00:42 +01:00

Scripts

Remove debug information put to output tree when distclean

2013-02-11 23:08:29 +01:00

Templates

Split Doxyfile into a template and a customization part

2013-02-21 10:24:21 +01:00