doc: update files for Sphinx 1.7.3

% make update-files
mroonga · Apr 25, 2018 · 3e423dd · 3e423dd
1 parent 09d6a87
commit 3e423dd
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/doc/files.am b/doc/files.am
@@ -239,11 +239,12 @@ html_files_relative_from_locale_dir = \
 	html/_static/comment-close.png \
 	html/_static/comment.png \
 	html/_static/doctools.js \
+	html/_static/documentation_options.js \
 	html/_static/down-pressed.png \
 	html/_static/down.png \
 	html/_static/favicon.ico \
 	html/_static/file.png \
-	html/_static/jquery-3.1.0.js \
+	html/_static/jquery-3.2.1.js \
 	html/_static/jquery.js \
 	html/_static/logo.png \
 	html/_static/minus.png \