From abb0a851f27ab26c8e55c1ee8be5b6deea8da3f9 Mon Sep 17 00:00:00 2001
From: Jorge Marques <2892061+gastmaier@users.noreply.github.com>
Date: Tue, 15 Jul 2025 11:59:36 +0200
Subject: [PATCH] copybutton.js: remove DOCUMENTATION_OPTIONS dead code

Supposedly used for doc_url_root, but also dead code.
---
 sphinx_copybutton/_static/copybutton.js_t | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/sphinx_copybutton/_static/copybutton.js_t b/sphinx_copybutton/_static/copybutton.js_t
index ec91f20..356be7a 100644
--- a/sphinx_copybutton/_static/copybutton.js_t
+++ b/sphinx_copybutton/_static/copybutton.js_t
@@ -50,11 +50,6 @@ if( document.documentElement.lang !== undefined
   locale = document.documentElement.lang
 }
 
-let doc_url_root = DOCUMENTATION_OPTIONS.URL_ROOT;
-if (doc_url_root == '#') {
-    doc_url_root = '';
-}
-
 /**
  * SVG files for our copy buttons
  */