Fix makefile duplicate target warnings

Removed duplicate docs-lint and docs-lint-fix targets from linter.mk
that were conflicting with the same targets in docs.mk.

This resolves the makefile warnings:
- tools/make/linter.mk:8: warning: overriding recipe for target 'docs-lint'
- tools/make/linter.mk:12: warning: overriding recipe for target 'docs-lint-fix'

Co-authored-by: Xunzhuo <[email protected]>

Author: Copilot

tools/make/linter.mk

@@ -4,14 +4,6 @@
 
 ##@ Linter
 
-docs-lint: docs-install ## Lint documentation in website/
-	@$(LOG_TARGET)
-	cd website && npm run lint
-
-docs-lint-fix: docs-install ## Auto-fix documentation lint issues in website/
-	@$(LOG_TARGET)
-	cd website && npm run lint:fix
-
 markdown-lint: ## Lint all markdown files in the project
 	@$(LOG_TARGET)
 	markdownlint -c tools/linter/markdown/markdownlint.yaml "**/*.md" \