o ×$•alã@sŒdZddlmZddlmZmZddlmZddlm Z ddl m Z ddl m Z mZe  e¡ZGdd „d e ƒZd ed eeeffd d „ZdS)zÉ sphinx.builders.dirhtml ~~~~~~~~~~~~~~~~~~~~~~~ Directory HTML builders. :copyright: Copyright 2007-2021 by the Sphinx team, see AUTHORS. :license: BSD, see LICENSE for details. é)Úpath)ÚAnyÚDict)ÚSphinx)ÚStandaloneHTMLBuilder)Úlogging)ÚSEPÚos_pathc@s>eZdZdZdZd dededefdd„Zd edefd d „ZdS) ÚDirectoryHTMLBuilderz² A StandaloneHTMLBuilder that creates all HTML pages as "index.html" in a directory given by their pagename, so that generated URLs don't have ``.html`` in them. ÚdirhtmlNÚdocnameÚtypÚreturncCs.|dkrdS| td¡r|dd…S|tS)NÚindexÚéûÿÿÿ)Úendswithr)Úselfr r ©rú9/usr/lib/python3/dist-packages/sphinx/builders/dirhtml.pyÚget_target_uris  z#DirectoryHTMLBuilder.get_target_uriÚpagenamecCsP|dks | td¡rt |jt|ƒ|j¡}|St |jt|ƒd|j¡}|S)Nr)rrrÚjoinÚoutdirr Ú out_suffix)rrÚ outfilenamerrrÚget_outfilename%sÿýÿz$DirectoryHTMLBuilder.get_outfilename)N)Ú__name__Ú __module__Ú __qualname__Ú__doc__ÚnameÚstrrrrrrrr s r ÚapprcCs | d¡| t¡ddddœS)Nzsphinx.builders.htmlÚbuiltinT)ÚversionÚparallel_read_safeÚparallel_write_safe)Úsetup_extensionÚ add_builderr )r#rrrÚsetup0s  ýr*N)r ÚosrÚtypingrrÚsphinx.applicationrÚsphinx.builders.htmlrÚ sphinx.utilrÚsphinx.util.osutilrr Ú getLoggerrÚloggerr r"r*rrrrÚs