The p11-kit manual is generated by using "make upload", which generates the web site and manual and pushes it on the gh-pages branch. The gh-pages branch is used by github to list the web site and the manual at:

https://p11-glue.github.io/p11-glue