From 9f4c7a11017af49525d1e1fb28f027384610e153 Mon Sep 17 00:00:00 2001 From: Julien Palard Date: Mon, 9 Sep 2019 11:17:56 +0200 Subject: [PATCH] More NoUri details. --- sphinx/builders/manpage.py | 2 +- sphinx/builders/texinfo.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/sphinx/builders/manpage.py b/sphinx/builders/manpage.py index d4c7feb05..86cc71855 100644 --- a/sphinx/builders/manpage.py +++ b/sphinx/builders/manpage.py @@ -53,7 +53,7 @@ class ManualPageBuilder(Builder): def get_target_uri(self, docname: str, typ: str = None) -> str: if typ == 'token': return '' - raise NoUri + raise NoUri(docname) @progress_message(__('writing')) def write(self, *ignored: Any) -> None: diff --git a/sphinx/builders/texinfo.py b/sphinx/builders/texinfo.py index ed663be39..0a09c28ec 100644 --- a/sphinx/builders/texinfo.py +++ b/sphinx/builders/texinfo.py @@ -63,7 +63,7 @@ class TexinfoBuilder(Builder): def get_target_uri(self, docname: str, typ: str = None) -> str: if docname not in self.docnames: - raise NoUri + raise NoUri(docname) else: return '%' + docname