Add lowercase alias for phpDocumentor on unix

shivammathur · Sep 20, 2021 · 87993cd · 87993cd
1 parent e0dd9c9
commit 87993cd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/scripts/tools/add_tools.sh b/src/scripts/tools/add_tools.sh
@@ -16,6 +16,7 @@ add_tools_helper() {
     add_extension xml extension >/dev/null 2>&1
   elif [ "$tool" = "phpDocumentor" ]; then
     add_extension fileinfo extension >/dev/null 2>&1
+    sudo ln -s "${tool_path:?}" "${tool_path_dir:?}"/phpdocumentor 2>/dev/null || true
     sudo ln -s "${tool_path:?}" "${tool_path_dir:?}"/phpdoc
   elif [[ "$tool" =~ (symfony|vapor|wp)-cli ]]; then
     sudo ln -s "${tool_path:?}" "${tool_path_dir:?}"/${tool%-*}