diff --git a/CHANGES b/CHANGES
index ab9e4e10e..22a5f5936 100644
--- a/CHANGES
+++ b/CHANGES
@@ -23,6 +23,7 @@ Bugs fixed
 
 * #4415: autodoc classifies inherited classmethods as regular methods
 * #4415: autodoc classifies inherited staticmethods as regular methods
+* #4472: DOCUMENTATION_OPTIONS is not defined
 
 Testing
 --------
diff --git a/sphinx/themes/basic/documentation_options.js_t b/sphinx/themes/basic/static/documentation_options.js_t
similarity index 100%
rename from sphinx/themes/basic/documentation_options.js_t
rename to sphinx/themes/basic/static/documentation_options.js_t