I think I believe how to fix the FTBFS: --- a/debian/patches/0005-configure-mkdocs-for-Debian.patch +++ b/debian/patches/0005-configure-mkdocs-for-Debian.patch @@ -23,7 +23,8 @@ index 1302441..05ada85 100644 +site_dir: html copyright: "Copyright (C) 2011-2020 Bozhidar Batsov and Projectile contributors" docs_dir: doc - pages: +-pages: ++nav: - Home: index.md -- Installation: installation.md - Usage: usage.md
But I'm stuck since I need to finally learn dgit and apparently git-debrebase. I'll start with the manpages.
