Documentation generation fix

The generation of the documentation takes a long time. It turns down it
wasn’t a good idea to add it to the default Makefile target.
Tweaks debug options