diff --git a/docs/convert-ascii-to-svg.sh b/docs/convert-ascii-to-svg.sh
index 8c3edc4933..f5abd7b229 100755
--- a/docs/convert-ascii-to-svg.sh
+++ b/docs/convert-ascii-to-svg.sh
@@ -8,11 +8,17 @@ set -e
 cd "$(dirname "$0")"
 output_dir=static/img
 
+svgbob_cli="$(command -v svgbob_cli || true)"
+if [[ -z "$svgbob_cli" ]]; then
+  svgbob_cli="$(command -v svgbob || true)"
+  [[ -n "$svgbob_cli" ]] || ( echo "svgbob_cli binary not found" && exit 1 )
+fi
+
 mkdir -p "$output_dir"
 
 while read -r bob_file; do
   out_file=$(basename "${bob_file%.*}".svg)
-  svgbob "$bob_file" --output "$output_dir/$out_file"
+  "$svgbob_cli" "$bob_file" --output "$output_dir/$out_file"
 done < <(find art/*.bob)
 
 while read -r msc_file; do