Build system: Update phpDoc list formatting

9 years ago · 749114df61
parent 79a14799bb
commit 749114df61
1 changed files with 1 additions and 1 deletions
--- a/_build/deploy-phpdoc-branch.sh
+++ b/_build/deploy-phpdoc-branch.sh
@ -40,7 +40,7 @@ generate-phpdoc.sh \
 # update phpDoc list
 update-phpdoc-list.sh \
    "$DEPLOYMENT_DIR/_data/phpDoc.yml" \
-    "$TRAVIS_BRANCH" "branch" "\`$TRAVIS_BRANCH\` branch" "$(date +%s)"
+    "$TRAVIS_BRANCH" "branch" "<code>$TRAVIS_BRANCH</code> branch" "$(date +%s)"

 # commit phpDocs
 echo "Committing changes..."