aboutsummaryrefslogtreecommitdiff
path: root/doc/tutorial/run-gendocs.sh
Commit message (Expand)AuthorAge
* run-gendocs.shng02019-03-04
* fixing EXTRA_DIST issues'Christian Grothoff2019-02-13