Migrate docs from mkdocs to patchlevel.dev

.github/workflows/docs-deploy.yml

@@ -0,0 +1,22 @@
+name: Publish docs
+
+on:
+  push:
+    branches:
+      - "[0-9]+.[0-9]+.x"
+  release:
+    types:
+      - published
+
+jobs:
+  trigger:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Trigger workflow in other repo
+        run: |
+          curl -L -X POST \
+            -H "Accept: application/vnd.github+json" \
+            -H "Authorization: Bearer ${{ secrets.ORGANIZATION_ADMIN_TOKEN }}" \
+            -H "X-GitHub-Api-Version: 2026-03-10" \
+            https://api.github.com/repos/patchlevel/patchlevel.dev/actions/workflows/prod-deployment.yaml/dispatches \
+            -d '{"ref":"main"}'

bin/docs-extract-php-code

@@ -23,7 +23,7 @@ if (file_exists($targetDir)) {
 mkdir($targetDir);
 
 $finder = new Symfony\Component\Finder\Finder();
-$finder->files()->in(__DIR__ . '/../docs/pages')->name('*.md');
+$finder->files()->in(__DIR__ . '/../docs')->name('*.md');
 
 foreach ($finder as $file) {
     $fileName = pathinfo($file->getBasename(), PATHINFO_FILENAME);

bin/docs-inject-php-code

@@ -25,7 +25,7 @@ if (!file_exists($targetDir)) {
 }
 
 $finder = new Symfony\Component\Finder\Finder();
-$finder->files()->in(__DIR__ . '/../docs/pages')->name('*.md');
+$finder->files()->in(__DIR__ . '/../docs')->name('*.md');
 
 foreach ($finder as $file) {
     $fileName = pathinfo($file->getBasename(), PATHINFO_FILENAME);