| Server IP : 127.0.0.1 / Your IP : 216.73.216.109 Web Server : Apache/2.4.54 (Win64) OpenSSL/1.1.1q PHP/8.1.10 System : Windows NT DESKTOP-E5T4RUN 10.0 build 19045 (Windows 10) AMD64 User : SERVERWEB ( 0) PHP Version : 8.1.10 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : C:/cygwin64/lib/python3.9/site-packages/sphinx/builders/__pycache__/ |
Upload File : |
a
�abl � @ s� d Z ddlmZ ddlmZmZ ddlmZ ddlm Z ddl
mZ ddlm
Z
mZ e�e�ZG dd � d e �Zeeeef d
�dd�Zd
S )z�
sphinx.builders.dirhtml
~~~~~~~~~~~~~~~~~~~~~~~
Directory HTML builders.
:copyright: Copyright 2007-2022 by the Sphinx team, see AUTHORS.
:license: BSD, see LICENSE for details.
� )�path)�Any�Dict)�Sphinx)�StandaloneHTMLBuilder)�logging)�SEP�os_pathc @ s8 e Zd ZdZdZd
eeed�dd�Zeed�dd �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.
ZdirhtmlN)�docname�typ�returnc C s. |dkrdS |� td �r&|d d� S |t S )N�index� ���)�endswithr )�selfr r � r �;/usr/lib/python3.9/site-packages/sphinx/builders/dirhtml.py�get_target_uri s
z#DirectoryHTMLBuilder.get_target_uri)�pagenamer
c C sN |dks|� td �r0t�| jt|�| j �}nt�| jt|�d| j �}|S )Nr )r r r �joinZoutdirr Z
out_suffix)r r Zoutfilenamer r r �get_outfilename% s ��z$DirectoryHTMLBuilder.get_outfilename)N)�__name__�
__module__�__qualname__�__doc__�name�strr r r r r r r
s r
)�appr
c C s | � d� | �t� dddd�S )Nzsphinx.builders.htmlZbuiltinT)�versionZparallel_read_safeZparallel_write_safe)Zsetup_extensionZadd_builderr
)r r r r �setup0 s
�r! N)r �osr �typingr r Zsphinx.applicationr Zsphinx.builders.htmlr Zsphinx.utilr Zsphinx.util.osutilr r Z getLoggerr �loggerr
r r! r r r r �<module> s