1 files changed, 3 insertions, 0 deletions

diff --git a/devdocs-cli b/devdocs-cli
new file mode 100755
index 000000000000..bf13728fd31e
--- /dev/null
+++ b/devdocs-cli
@@ -0,0 +1,3 @@
+#!/bin/bash
+cd "/opt/devdocs-git" && thor "$@"
+