aboutsummaryrefslogtreecommitdiff
path: root/doc/prebuilt
AgeCommit message (Expand)Author
2019-09-18use pre-built man and texinfo from docs.gitFlorian Dold