bin/gflags2man.py
