gitbook_building: fix minor bug in publishGitbook() call.