From 9a3cb6fba84e1887b2f34e7b74473765ca550da3 Mon Sep 17 00:00:00 2001
From: Nicolas Patry <patry.nicolas@protonmail.com>
Date: Wed, 27 Sep 2023 10:41:30 +0000
Subject: [PATCH] Update to use simpler python script.

---
 .github/workflows/autodocs.yml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/autodocs.yml b/.github/workflows/autodocs.yml
index a0c1b90a..a981c09c 100644
--- a/.github/workflows/autodocs.yml
+++ b/.github/workflows/autodocs.yml
@@ -15,9 +15,7 @@ jobs:
       id: install-launcher
       run: cargo install --git https://github.com/${{ github.repository }} --branch ${{ github.head_ref }} text-generation-launcher
     
-    - name: Update Docs
+    - name: Check launcher Docs are up-to-date
       run: |
         echo text-generation-launcher --help
-        output=$(text-generation-launcher --help)
-        { echo '```'; echo "$output"; echo '```'; } > launcher_test.md
-        diff launcher_test.md docs/source/basic_tutorials/launcher.md
+        python update_doc.py --check