ci: compile the manual