carstene1ns Fix CI manual page generation