patched/7.19.5-2
36f7b931 · Adapt documentation build process for Debian packaging purposes ·