Fix bashism (?) in doc.sh that fails on Travis CI.