documentation added: howto generate docs in text and html