On 2013-12-29 19:35, Sönke Ludwig wrote: > This is done for the DDOX based docs that were supposed to end up on the > home page at some point: BTW, although DDOX seems to be the best solution currently. It still feels like a workaround for something that should be fixed in the compiler. -- /Jacob Carlborg