doc: speed up dot generation