docs: un-break gh-pages build

diff --git a/docs/Makefile b/docs/Makefile
index 63ce8561e617572c604c5a04ede673db407dd4d4..b135b25645422f8f23c216effbc0f836b4e8a8f0 100644 (file)
--- 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 (symlink)
index 945c9b4..0000000
--- a/docs/ext-ion
+++ /dev/null
@@ -1 +0,0 @@
-.
\ No newline at end of file