old_contents: # -*- coding: utf-8 -*-
  #
  # This file is execfile()d with the current directory set to its containing dir.
  
  import re, os, sys, time, cgi
  sys.path.append(os.path.abspath(".."))
  
  extensions = ['sphinx.ext.intersphinx']
  
  from get_version import __version__ as hy_version
  # Read the Docs might dirty its checkout, so strip the dirty flag.
  hy_version = re.sub('[+.]dirty\Z', '', hy_version)
  
  templates_path = ['_templates']
  source_suffix = '.rst'
  
  master_doc = 'index'
  
  # General information about the project.
  project = u'hy'
  copyright = u'%s the authors' % time.strftime('%Y')
  
  # The version info for the project you're documenting, acts as replacement for
  # |version| and |release|, also used in various other places throughout the
  # built documents.
  #
  # The short X.Y version.
  version = ".".join(hy_version.split(".")[:-1])
  # The full version, including alpha/beta/rc tags.
  release = hy_version
  hy_descriptive_version = cgi.escape(hy_version)
  if "+" in hy_version:
      hy_descriptive_version += " <strong style='color: red;'>(unstable)</strong>"
  
  exclude_patterns = ['_build', 'coreteam.rst']
  
  pygments_style = 'sphinx'
  
  import sphinx_rtd_theme
  html_theme = 'sphinx_rtd_theme'
  html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
  
  # Add any paths that contain custom static files (such as style sheets) here,
  # relative to this directory. They are copied after the builtin static files,
  # so a file named "default.css" will overwrite the builtin "default.css".
  html_static_path = ['_static']
  
  html_use_smartypants = False
  html_show_sphinx = False
  
  html_context = dict(
      hy_descriptive_version = hy_descriptive_version)
  
  intersphinx_mapping = dict(
      py2 = ('https://docs.python.org/2', None),
      py  = ('https://docs.python.org/3', None))
  
new_contents: # -*- coding: utf-8 -*-
  #
  # This file is execfile()d with the current directory set to its containing dir.
  
  import re, os, sys, time, cgi
  sys.path.append(os.path.abspath(".."))
  
  extensions = ['sphinx.ext.intersphinx']
  
  from get_version import __version__ as hy_version
  # Read the Docs might dirty its checkout, so strip the dirty flag.
  hy_version = re.sub('[+.]dirty\Z', '', hy_version)
  
  templates_path = ['_templates']
  source_suffix = '.rst'
  
  master_doc = 'index'
  
  # General information about the project.
  project = u'hy'
  copyright = u'%s the authors' % time.strftime('%Y')
  
  # The version info for the project you're documenting, acts as replacement for
  # |version| and |release|, also used in various other places throughout the
  # built documents.
  #
  # The short X.Y version.
  version = ".".join(hy_version.split(".")[:-1])
  # The full version, including alpha/beta/rc tags.
  release = hy_version
  hy_descriptive_version = cgi.escape(hy_version)
  if "+" in hy_version:
      hy_descriptive_version += " <strong style='color: red;'>(unstable)</strong>"
  
  exclude_patterns = ['_build', 'coreteam.rst']
  
  pygments_style = 'sphinx'
  
  import sphinx_rtd_theme
  html_theme = 'sphinx_rtd_theme'
  html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
  
  # Add any paths that contain custom static files (such as style sheets) here,
  # relative to this directory. They are copied after the builtin static files,
  # so a file named "default.css" will overwrite the builtin "default.css".
  html_static_path = ['_static']
  
  html_use_smartypants = False
  html_show_sphinx = False
  
  html_context = dict(
      hy_descriptive_version = hy_descriptive_version)
  
  intersphinx_mapping = dict(
      py2 = ('https://docs.python.org/2/', None),
      py  = ('https://docs.python.org/3/', None))
  
subject: Fix a bug in docs/conf.py