Merge pull request #776 from josepvm/master

Updated Catalan translation (fixed a single minor error I've discovered just now, sorry)
Allow compilation without usermanual sources

... and fix the release script accordingly. It only used to work due to
a typo.