I had a question about the way that we're handling man pages. In 356a749f63181d401d16371446bb8dc4f196c2a6 , "rbd: regenerate rbd(8) man page", it looks like man/rbd.8 was regenerated from doc/man/8/rbd.rst It seems like it would be more efficient to avoid storing man pages in Git and generate them dynamically at build time instead? https://github.com/ceph/ceph/blob/master/admin/manpage-howto.txt "admin/build-doc" does a lot of things (including man page generation). Could we simply run the "sphinx-build -b man" part at build time as a part of "make"? Just trying to understand what's intentional, whether I'm missing something, etc. - Ken -- To unsubscribe from this list: send the line "unsubscribe ceph-devel" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html