From 5211e6b6119d57ccc9dcd2b548689288ae9bad68 Mon Sep 17 00:00:00 2001
From: Andrei Vagin <avagin@google.com>
Date: Thu, 4 Jun 2026 18:56:12 +0000
Subject: [PATCH] docs: create symlink for GitHub Pages

This symlink allows GitHub Pages to serve the documentation.

Signed-off-by: Andrei Vagin <avagin@google.com>
---
 docs | 1 +
 1 file changed, 1 insertion(+)
 create mode 120000 docs

diff --git a/docs b/docs
new file mode 120000
index 000000000..822ee2fa3
--- /dev/null
+++ b/docs
@@ -0,0 +1 @@
+Documentation/under-the-hood/
\ No newline at end of file