delete old documentation building

2 jobs for newdoc in 2 minutes and 5 seconds (queued for 2 seconds)