189
188
$(PYTHON) generate_docs.py -o $@ man
191
190
# build a png of our performance task list
192
193
doc/developers/performance.png: doc/developers/performance.dot
194
195
@dot -Tpng $< -o$@ || echo "Dot not installed; skipping generation of $@"
197
198
WEB_DOCS = $(derived_web_docs) $(non_txt_files)
198
199
ALL_DOCS = $(derived_web_docs) $(MAN_PAGES)