Test the spanish manual (in addition to the English one) with "make test"
Authored by: david_costanzo 2021-10-08
Parent: [r5788]
Child: [r5790]
