build: remove `lintdoc` from `lint` target

`lintdoc` takes too long to be part of `lint`. It may be reintroduced
once it's possible to only run lintdoc on files that have been changed.
This commit is contained in:
dundargoc 2024-05-03 13:32:43 +02:00 committed by dundargoc
parent e15991c811
commit ca243f06dd
1 changed files with 1 additions and 1 deletions

View File

@ -272,7 +272,7 @@ add_custom_target(lintcommit
add_dependencies(lintcommit nvim_bin)
add_custom_target(lint)
add_dependencies(lint lintc lintlua lintsh lintcommit lintdoc)
add_dependencies(lint lintc lintlua lintsh lintcommit)
# Format
add_glob_target(