doc: specify full main XML filename#907

james-d-mitchell merged 1 commit intodigraphs:stable-1.14digraphs/Digraphs:stable-1.14from

fingolfin:mh/makedoc-mainfilefingolfin/Digraphs:mh/makedoc-mainfileCopy head branch name to clipboard