Last modified: 2014-02-12 23:35:41 UTC
Created attachment 9825 [details] Patch against trunk If you don't really use them, generating the docs goes a lot quicker and browsing them is less quirky.
You can just change the Doxyfile...
Of course, but providing an option is nicer :)
( `which dot` && !$noDot) Swap them! This way whenever $noDot is true, you will not execute 'which dot'. Should be: ( !$noDot && `which dot`) Reedy: can we add that to trunk or do we wait for 1.19 branching?