doc: speed up dot generation
authorAntoine Musso <hashar@free.fr>
Thu, 20 Jun 2013 18:27:04 +0000 (20:27 +0200)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 20 Jun 2013 19:23:46 +0000 (19:23 +0000)
commit16faad812b47c9f55ef9ed932e6dad0cf8c194fd
treebb87db1500e01cd0c7a6ef619bcd32c5edad8701
parent432a0cb006e0da05cf4aab9ff0c7c71fce316b4b
doc: speed up dot generation

dot supports generating multiple graphs in one run, that was not always
the case and Doxygen had a default of not using that feature.  Given it
got introduced in dot 1.8.10 and Wikimedia CI server has 2.26.x, I guess
it is safe to enable this.

End result, is less shell out overhead.

Change-Id: Ia07b430bd1af608bbe9c10eecbe2df3e0b9c74fc
maintenance/Doxyfile