Created attachment 213037 [details]
textprox/py-sphinx-better-theme: new port
This is needed by PGPy which in turn is needed by sourcehut.
Do you still need this theme?
It seems PGPy doesn't include docs in the sdist package.
Oh, you are right, I probably missed that back when I opened this PR.
I also just noticed that you removed the `DOCS` OPTION for PGPy, which makes sense because there were no docs to build.
Thank you! I'll have to check again those open PRs :-).