Bug#1009433: tried but got stuck with dgit and git-debrebase

To: "1009433@bugs.debian.org" <1009433@bugs.debian.org>
Subject: Bug#1009433: tried but got stuck with dgit and git-debrebase
From: Thomas Koch <thomas@koch.ro>
Date: Sat, 23 Apr 2022 21:10:51 +0300 (EEST)
Message-id: <[🔎] 245556298.251533.1650737451281@office.mailbox.org>
Reply-to: Thomas Koch <thomas@koch.ro>, 1009433@bugs.debian.org
References: <YlXIVf34RPnV/CBC@xanadu.blop.info>

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.

Reply to:

Follow-Ups:
- Bug#1009433: tried but got stuck with dgit and git-debrebase
  - From: Sean Whitton <spwhitton@spwhitton.name>

References:
- Bug#1009433: projectile: FTBFS: Config value: 'pages'. Error: The configuration option 'pages' was removed from MkDocs. Use 'nav' instead.
  - From: Lucas Nussbaum <lucas@debian.org>

Prev by Date: Bug#1009704: Removed package(s) from unstable
Next by Date: Bug#1009433: tried but got stuck with dgit and git-debrebase
Previous by thread: Bug#1009433: projectile: FTBFS: Config value: 'pages'. Error: The configuration option 'pages' was removed from MkDocs. Use 'nav' instead.
Next by thread: Bug#1009433: tried but got stuck with dgit and git-debrebase
Index(es):
- Date
- Thread