Fix lint.sh script

Broke in #17073
element-hq · May 3, 2024 · c9e70d4 · c9e70d4
1 parent 3aadf43
commit c9e70d4
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/scripts-dev/lint.sh b/scripts-dev/lint.sh
@@ -91,7 +91,6 @@ else
           "synapse" "docker" "tests"
           "scripts-dev"
           "contrib" "synmark" "stubs" ".ci"
-          "dev-docs"
       )
   fi
 fi