summary refs log tree commit diff
path: root/scripts-dev/lint.sh
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xscripts-dev/lint.sh1
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts-dev/lint.sh b/scripts-dev/lint.sh
index 1c0e6582f6..9e4ed3246e 100755
--- 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