From 77497373193a6304a67d0993ceb433100f0a39d9 Mon Sep 17 00:00:00 2001 From: Sameer Agarwal Date: Fri, 13 Oct 2023 14:26:12 -0700 Subject: [PATCH] Fix search on ceres-solver.org Thanks to Roger Labbe for reporting this and Sergiu Deitsch for debugging it Change-Id: I7f53b339a1e4d6862b341c60bcf81b77770052bf --- docs/source/conf.py | 2 +- scripts/make_docs.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/source/conf.py b/docs/source/conf.py index e206a3512..faa24032b 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -25,7 +25,7 @@ import sys, os # Add any Sphinx extension module names here, as strings. They can be extensions # coming with Sphinx (named 'sphinx.ext.*') or your custom ones. -extensions = ['sphinx.ext.todo', 'sphinx.ext.mathjax', 'sphinx.ext.ifconfig'] +extensions = ['sphinx.ext.todo', 'sphinx.ext.mathjax', 'sphinx.ext.ifconfig', 'sphinxcontrib.jquery'] # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates'] diff --git a/scripts/make_docs.py b/scripts/make_docs.py index 518c3193a..9eab97ecb 100644 --- a/scripts/make_docs.py +++ b/scripts/make_docs.py @@ -60,7 +60,7 @@ elif N == 4: sphinx_exe = sys.argv[3] # Run Sphinx to build the documentation. -os.system('%s -n -b html -d %s %s %s' %(sphinx_exe, cache_dir, src_dir, html_dir)) +os.system('%s -n -a -d %s %s %s' %(sphinx_exe, cache_dir, src_dir, html_dir)) replacements = [ # The title for the homepage is not ideal, so change it.