mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2025-02-17 11:29:58 +08:00
Code Issues Packages Projects Releases Wiki Activity

add /guides.html (#1753)

Browse Source
This commit is contained in:
Ali Abdalla 2022-07-12 00:41:39 +02:00 committed by GitHub
parent 8947e8f9a4
commit 18b92fb17c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
website/homepage/src/guides/__init__.py
View File

@ -126,6 +126,9 @@ def build_gallery(output_dir, jinja_env):
output_file = os.path.join(output_folder, "index.html")
with open(output_file, "w") as index_html:
index_html.write(output)
output_file = os.path.join(output_dir, "guides.html")
with open(output_file, "w") as index_html:
index_html.write(output)
def build(output_dir, jinja_env):
build_guides(output_dir, jinja_env)