Move to using gi-docgen from a release rather than git

Review Request #2271 — Created Feb. 24, 2023 and submitted — Latest diff uploaded

Information

gplugin/gplugin
default

Reviewers

Move to using gi-docgen from a release rather than git

Deleted the checked out copies in subprojects and did a build with the docs turned on.

Commits

Files