Fixed (?) broken generatedocs target