Z:gnu-man-db--0c7453-output source page encoded in/eo

eligi font-paĝon enkoditan laŭ ENKODIGO