summaryrefslogtreecommitdiff
path: root/doc/tutorial/run-gendocs.sh
AgeCommit message (Expand)Author
2019-03-04run-gendocs.shng0
2019-02-13fixing EXTRA_DIST issues'Christian Grothoff