small fix in tools/convert-data-0.7
Makefile: fix re-building documentation