From 702d26972951ae73f2ec7bbc589caa3fd03568f6 Mon Sep 17 00:00:00 2001 From: Mishig Date: Tue, 3 Oct 2023 11:11:10 +0200 Subject: [PATCH] [Doc page] Fix launcher page highlighting (#1080) ### Broken highlighting (current) Screenshot 2023-09-28 at 22 38 15 ### Fixed highlighting (this PR) image --- docs/source/basic_tutorials/launcher.md | 2 +- update_doc.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/source/basic_tutorials/launcher.md b/docs/source/basic_tutorials/launcher.md index bdb8cb73..08a6ed86 100644 --- a/docs/source/basic_tutorials/launcher.md +++ b/docs/source/basic_tutorials/launcher.md @@ -2,7 +2,7 @@ -``` +```shell Text Generation Launcher Usage: text-generation-launcher [OPTIONS] diff --git a/update_doc.py b/update_doc.py index 81e6a94e..1fa398b0 100644 --- a/update_doc.py +++ b/update_doc.py @@ -12,7 +12,7 @@ def main(): "utf-8" ) wrap_code_blocks_flag = "" - final_doc = f"# Text-generation-launcher arguments\n\n{wrap_code_blocks_flag}\n\n```\n{output}\n```" + final_doc = f"# Text-generation-launcher arguments\n\n{wrap_code_blocks_flag}\n\n```shell\n{output}\n```" filename = "docs/source/basic_tutorials/launcher.md" if args.check: