Nightly build failure for user manual since 12th of October

[Friedrich Beckmann]

The nightly build fails since:

https://pspp.benpfaff.org/~blp/pspp-master/20201012050501/source/

due to build failure of the manual.