Added MAN_SECTION argument to remake_doc_jade(), which now configures the input files