Simon,

You should not use the release flavour for development because it omits all recompilation info (for packaging determinism reasons). So, when using that flavour, recompilation checking does not work.

I believe you should be able to use almost any other flavour. For example, --devel2 will be able to run the docs target.

Sam