Finalmente, en 1725 se nombró bibliotecario al padre Antonio de san José, que dedicó un cuarto de siglo a reordenar, reclasificar y recatalogar todos los volúmenes.