From 29f37c44832e76a0a69325defb1c7d570ea5fe4a Mon Sep 17 00:00:00 2001
From: Christoph Knittel <ck@cca.io>
Date: Sat, 5 Nov 2022 11:32:55 +0100
Subject: [PATCH] Remove doc_gen leftovers

---
 scripts/ninja.js | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/scripts/ninja.js b/scripts/ninja.js
index 43c6fb3bc8..865d37bdc7 100755
--- a/scripts/ninja.js
+++ b/scripts/ninja.js
@@ -1925,16 +1925,11 @@ function main() {
           stdio: [0, 1, 2],
         });
         break;
-      case "docs":
-        console.log(`building docs`);
-        require("./doc_gen").main();
-        break;
       case "help":
         console.log(`supported subcommands:
 [exe] config        
 [exe] build
 [exe] cleanbuild
-[exe] docs
 [exe] help
 [exe] clean
         `);