build_doc: fix a syntax error

This was introduced in #7787.
Merge pull request #7795 from certik/travis_fix

build_doc: fix a syntax error