chore: move docs lint out of pre-commit

.github/workflows/docs.yml

@@ -0,0 +1,23 @@
+name: Docs
+
+on:
+  push:
+    branches: [main, stable-1]
+  pull_request:
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Setup python
+        uses: actions/setup-python@v4
+        with:
+          python-version: 3.x
+
+      - name: Install dependencies
+        run: make venv
+
+      - name: Run docs lint
+        run: make docs-lint

.pre-commit-config.yaml

@@ -49,17 +49,6 @@ repos:
       - id: antsibull-changelog-lint
       - id: antsibull-changelog-lint-changelog-yaml
 
-  - repo: local
-    hooks:
-      - id: antsibull-docs-lint-collection
-        name: antsibull-docs lint-collection
-        description: Lint the collection docs
-        language: python
-        entry: antsibull-docs lint-collection-docs --plugin-docs .
-        pass_filenames: false
-        additional_dependencies:
-          - antsibull-docs==2.3.1
-
   - repo: https://github.com/ansible/ansible-lint
     rev: v6.20.3
     hooks:

Makefile

@@ -14,6 +14,9 @@ venv:
 lint: venv
 	venv/bin/pylint plugins
 
+docs-lint:
+	venv/bin/antsibull-docs lint-collection-docs --plugin-docs .
+
 clean:
 	git clean -xdf \
 		-e tests/integration/cloud-config-hcloud.ini

requirements.txt

@@ -9,3 +9,4 @@ requests
 
 # Development requirements
 pylint
+antsibull-docs>=2.5.0,<2.6