aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
AgeCommit message (Expand)AuthorFilesLines
2017-02-15Tighten doc/.gitignoreKaren Arutyunov1-1/+1
2017-01-24Update doc/.gitignoreKaren Arutyunov1-1/+1
2017-01-17Update doc generation scriptBoris Kolpackov1-5/+5
2016-02-11Setup manual infraBoris Kolpackov1-0/+3
2016-01-30Add support for generating man pagesBoris Kolpackov1-0/+2