Tributación por venta en país distinto a la residencia fiscal.

Persona extranjera residente permanente en España, vende madera de una finca en su país de origen, Portugal. Es pensionista y hace IRPF en España todos los años. El comprador entrega factura, por lo que se entiende debe declarar esa venta, ¿cuál sería la forma correcta, forma, en qué país...?