aboutsummaryrefslogtreecommitdiffstats
path: root/gendocs.sh
AgeCommit message (Expand)AuthorFilesLines
2017-03-22Print status when pdf file has been generated.Sebastien Douheret1-1/+3
2017-03-21docs: fix Installation guideStephane Desneux1-1/+1
2017-03-20Use bash script to generate doc instead of cmakeSebastien Douheret1-0/+71