def init(self): DirectoryHTMLBuilder.init(self) # Pull project data from conf.py if it exists context = self.config.html_context if context.has_key("current_version"): self.version = context["current_version"] if context.has_key("slug"): self.project = context["slug"] # Put in our media files instead of putting them in the docs. for index, file in enumerate(self.script_files): if file in MEDIA_MAPPING.keys(): self.script_files[index] = MEDIA_MAPPING[file] % context["MEDIA_URL"] if file == "_static/jquery.js": self.script_files.insert( index + 1, "%sjavascript/jquery/jquery-migrate-1.2.1.min.js" % context["MEDIA_URL"] ) if context.has_key("html_theme") and context["html_theme"] == "sphinx_rtd_theme": self.css_files.append("%scss/sphinx_rtd_theme.css" % context["MEDIA_URL"]) else: self.css_files.append("%scss/badge_only.css" % context["MEDIA_URL"]) # Analytics codes # self.script_files.append('_static/readthedocs-ext.js') # self.script_files.append('%sjavascript/analytics.js' % context['MEDIA_URL']) # We include the media servers version here so we can update rtd.js across all # documentation without rebuilding every one. # If this script is embedded in each build, # then updating the file across all docs is basically impossible. self.script_files.append("%sjavascript/readthedocs-doc-embed.js" % context["MEDIA_URL"]) self.css_files.append("%scss/readthedocs-doc-embed.css" % context["MEDIA_URL"])
def init(self): DirectoryHTMLBuilder.init(self) finalize_media(self)
def init(self): DirectoryHTMLBuilder.init(self) finalize_comment_media(self)
def init(self): DirectoryHTMLBuilder.init(self) self.toctree = Toctree(self._render_title, self.get_relative_uri)
def init(self): DirectoryHTMLBuilder.init(self) self.toctree = Toctree(self._render_title, self.get_relative_uri)