💄 rename phpdoc.xml for consistency

This commit is contained in:
smiley
2023-03-11 19:53:31 +01:00
parent 2f0b169039
commit 7e756af025
3 changed files with 2 additions and 1 deletions
+1 -1
View File
@@ -70,7 +70,7 @@ jobs:
extensions: fileinfo, gd, imagick, json, mbstring
- name: "Build Docs"
run: phpdoc --config=phpdoc.xml
run: phpdoc --config=phpdoc.xml.dist
- name: "Publish Docs to gh-pages"
uses: JamesIves/github-pages-deploy-action@v4