Got rid of superfluous /doc directory