Hi all, I have just released a small tool to compare the performance of different Sphinx project setups: Sphinx-Performance -> https://sphinx-performance.readthedocs.io
Helpful when the build time is an issue (e.g. huge projects) or to figure out performance impacts of different extensions or themes. Greetings, Daniel -- You received this message because you are subscribed to the Google Groups "sphinx-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to sphinx-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sphinx-users/6de56acd-0690-441d-b8d4-d1574250729bn%40googlegroups.com.