fixed #233, shorten the document's name under the user_manual#235

powerfooI merged 1 commit intooceanbase:masteroceanbase/oceanbase.github.io:masterfrom

longdafeng:233longdafeng/oceanbase.github.io:233Copy head branch name to clipboard