Skip to content

WIP: add Xindy to documentation-building Dockerfile

Joseph Weston requested to merge fixup/xindy into master

This is seemingly needed on stable branch.

Closes #314 (closed).

Merge request reports