From d9bd7572ee29180662441bf4b0131f352de0b242 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Mon, 31 Jan 2022 09:15:31 +0100
Subject: [PATCH] docs: un-break gh-pages build

---
 docs/Makefile | 2 ++
 docs/ext-ion  | 1 -
 2 files changed, 2 insertions(+), 1 deletion(-)
 delete mode 120000 docs/ext-ion

diff --git a/docs/Makefile b/docs/Makefile
index 63ce856..b135b25 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -16,7 +16,9 @@ latest: $(TAG)
 
 $(TAG): markdown | vendor/bin/ref2html
 	mkdir -p $@
+	ln -s . ext-ion
 	$(PHP) $| ext-ion/$@ src
+	unlink ext-ion
 	touch $@
 
 .PHONY: markdown
diff --git a/docs/ext-ion b/docs/ext-ion
deleted file mode 120000
index 945c9b4..0000000
--- a/docs/ext-ion
+++ /dev/null
@@ -1 +0,0 @@
-.
\ No newline at end of file
-- 
2.30.2