summaryrefslogtreecommitdiff
path: root/doc/tutorial/htmlxref.cnf
AgeCommit message (Expand)Author
2022-08-02DOC: Move from texinfo to sphinxMartin Schanzenbach
2019-02-13fixing EXTRA_DIST issues'Christian Grothoff