commenting out edocs generation, a separate script for edoc