142
153
$(PYTHON) tools/generate_docs.py -o $@ man
144
155
# build a png of our performance task list
146
156
# this is no longer built by default; you can build it if you want to look at it
147
157
doc/developers/performance.png: doc/developers/performance.dot