Use newer phpDocumentor

maxmind · Feb 2, 2021 · b8f429a · b8f429a
1 parent aa599ca
commit b8f429a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev-bin/release.sh b/dev-bin/release.sh
@@ -89,7 +89,7 @@ if [ -n "$(git status --porcelain)" ]; then
 fi
 
 # Using Composer is possible, but they don't recommend it.
-wget -O phpDocumentor.phar https://github.com/phpDocumentor/phpDocumentor/releases/download/v3.0.0-rc/phpDocumentor.phar
+wget -O phpDocumentor.phar https://github.com/phpDocumentor/phpDocumentor/releases/download/v3.0.0/phpDocumentor.phar
 
 # Use cache dir in /tmp as otherwise cache files get into the output directory.
 cachedir="/tmp/phpdoc-$$-$RANDOM"