optimize web page (#1121)

bltcn

2023-11-23 41c686109df0a7017fb8c82001496e7f04552504

1
2
3
4
[submodule "doc"]
    path = doc
    url = https://github.com/gflags/gflags.git
    branch = gh-pages