Bug#1085947: sphinx-book-theme: generate_nav_html no longer exists

[Christian BAYLE]

I confirm the version 1.1.4 is fixing this bug
for both doxysphinx and sphinx-external-toc
Please upload to trixie/unstable

Cheers

Christian