Hi, since I have not much time for this, please let me know what I should change. Is it right: replace (cd lib/python/docs/ ; make libpythonhtml) with make sphinxdoclib ? thanks Markus