doc: kill forgotten documentation directory