More NoUri details.

This commit is contained in:
Julien Palard 2019-09-09 11:17:56 +02:00 committed by Takeshi KOMIYA
parent 11558aba8b
commit 9f4c7a1101
2 changed files with 2 additions and 2 deletions

View File

@ -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:

View File

@ -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