Bula "Romanus Pontifex" do Papa Nicolau V inserta em uma Executória passada em nome de João, Bispo de Ceuta, Primaz de África, juíz executor da mesma Bula, pela qual concedeu ao rei D. Afonso V e ao Infante D. Henrique e a todos os reis de Portugal seus sucessores, todas as conquistas de África com as ilhas nos mares a ela adjacentes, desde os cabos Bojador e Não e toda a Guiné a sua costa meridional, e com todos os direitos, regalias e tributos que tivessem e para o futuro houvessem de ter, e que nelas pudessem mandar edificar igrejas cujos padroados lhe ficariam pertencendo