Fix lint.sh script (#17148)

Broke in #17073
This commit is contained in:
Erik Johnston 2024-05-03 17:12:03 +01:00 committed by GitHub
parent 3aadf43122
commit 3818597751
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 1 additions and 1 deletions

1
changelog.d/17148.doc Normal file
View File

@ -0,0 +1 @@
Remove broken sphinx docs.

View File

@ -91,7 +91,6 @@ else
"synapse" "docker" "tests"
"scripts-dev"
"contrib" "synmark" "stubs" ".ci"
"dev-docs"
)
fi
fi