sglang_v0.5.2/flashinfer_0.3.1/docs/wrap_run_llm.py

62 lines
2.0 KiB
Python

"""
HTML post-processing script to insert RunLLM widget into documentation.
Based on: https://github.com/sgl-project/sglang/blob/499f5e620c243b6a9980b63f7aa54d096a9a3ddd/docs/wrap_run_llm.py
Copyright (c) 2023 SGLang Project (Apache 2.0 License)
"""
import os
import re
def insert_runllm_widget(html_content):
# RunLLM Widget script to be inserted for FlashInfer
widget_script = """
<!-- RunLLM Widget Script -->
<script type="module" id="runllm-widget-script" src="https://widget.runllm.com" crossorigin="true" version="stable" runllm-keyboard-shortcut="Mod+j" runllm-name="FlashInfer Assistant" runllm-position="BOTTOM_RIGHT" runllm-assistant-id="1052" async></script>
"""
# Find the closing body tag and insert the widget script before it
return re.sub(r"</body>", f"{widget_script}\n</body>", html_content)
def process_html_files(build_dir):
processed_count = 0
for root, _dirs, files in os.walk(build_dir):
for file in files:
if file.endswith(".html"):
file_path = os.path.join(root, file)
# Read the HTML file
with open(file_path, "r", encoding="utf-8") as f:
content = f.read()
# Insert the RunLLM widget
modified_content = insert_runllm_widget(content)
# Write back the modified content
with open(file_path, "w", encoding="utf-8") as f:
f.write(modified_content)
processed_count += 1
print(f"Processed {processed_count} HTML files")
def main():
# Get the build directory path
build_dir = os.path.join(
os.path.dirname(os.path.abspath(__file__)), "_build", "html"
)
# Process all HTML files
if os.path.exists(build_dir):
print(f"Processing HTML files in: {build_dir}")
process_html_files(build_dir)
else:
print(f"Build directory not found: {build_dir}")
print("Please build the documentation first with 'make html'")
if __name__ == "__main__":
main()