prompt: We are currently solving the following issue within our repository. Here is the issue text:
  --- BEGIN ISSUE ---
  Document that RTD uses `rel` branch for production
  Hi, i'd like to add a new builder for doxygen documentation (but native, not with breath). Since there are a lot of branches like real/relcorp which a far ahead of master, i'd like to know, which branch to choose for development.
  
  Thanks in advance!
  Oli
  
  
  --- END ISSUE ---
  
  Below are some code segments, each from a relevant file. One or more of these files may contain bugs.
  --- BEGIN FILES ---
  Path: `docs/conf.py`
  Content:
  ```
  1 # -*- coding: utf-8 -*-
  2 #
  3 import os
  4 import sys
  5 
  6 from recommonmark.parser import CommonMarkParser
  7 
  8 sys.path.insert(0, os.path.abspath('..'))
  9 sys.path.append(os.path.dirname(__file__))
  10 os.environ.setdefault("DJANGO_SETTINGS_MODULE", "readthedocs.settings.dev")
  11 
  12 from django.conf import settings
  13 
  14 import django
  15 django.setup()
  16 
  17 
  18 sys.path.append(os.path.abspath('_ext'))
  19 extensions = [
  20     'sphinx.ext.autodoc',
  21     'sphinx.ext.intersphinx',
  22     'sphinxcontrib.httpdomain',
  23     'djangodocs',
  24     'doc_extensions',
  25 ]
  26 templates_path = ['_templates']
  27 
  28 source_suffix = ['.rst', '.md']
  29 source_parsers = {
  30     '.md': CommonMarkParser,
  31 }
  32 
  33 master_doc = 'index'
  34 project = u'Read The Docs'
  35 copyright = u'2010, Eric Holscher, Charlie Leifer, Bobby Grace'
  36 version = '1.0'
  37 release = '1.0'
  38 exclude_patterns = ['_build']
  39 default_role = 'obj'
  40 pygments_style = 'sphinx'
  41 intersphinx_mapping = {
  42     'python': ('http://python.readthedocs.io/en/latest/', None),
  43     'django': ('http://django.readthedocs.io/en/1.8.x/', None),
  44     'sphinx': ('http://sphinx.readthedocs.io/en/latest/', None),
  45 }
  46 # This doesn't exist since we aren't shipping any static files ourselves.
  47 #html_static_path = ['_static']
  48 htmlhelp_basename = 'ReadTheDocsdoc'
  49 latex_documents = [
  50     ('index', 'ReadTheDocs.tex', u'Read The Docs Documentation',
  51      u'Eric Holscher, Charlie Leifer, Bobby Grace', 'manual'),
  52 ]
  53 man_pages = [
  54     ('index', 'read-the-docs', u'Read The Docs Documentation',
  55      [u'Eric Holscher, Charlie Leifer, Bobby Grace'], 1)
  56 ]
  57 
  58 exclude_patterns = [
  59     # 'api' # needed for ``make gettext`` to not die.
  60 ]
  61 
  62 language = 'en'
  63 
  64 locale_dirs = [
  65     'locale/',
  66 ]
  67 gettext_compact = False
  68 
  69 
  70 on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
  71 if not on_rtd:  # only import and set the theme if we're building docs locally
  72     import sphinx_rtd_theme
  73     html_theme = 'sphinx_rtd_theme'
  74     html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
  75
  ```
  --- END FILES ---
  
  Please first localize the bug based on the issue statement, and then generate a patch according to the `git diff` format fenced by three backticks.
  
  Here is an example:
  
  ```diff
  diff --git a/examples/server_async.py b/examples/server_async.py
  --- a/examples/server_async.py
  +++ b/examples/server_async.py
  @@ -313,4 +313,4 @@
   
   
   if __name__ == "__main__":
  -    asyncio.run(run_async_server("."), debug=True)
  +    asyncio.run(run_async_server(), debug=True)
  diff --git a/examples/server_sync.py b/examples/server_sync.py
  --- a/examples/server_sync.py
  +++ b/examples/server_sync.py
  @@ -313,5 +313,5 @@
   
   
   if __name__ == "__main__":
  -    server = run_sync_server(".")
  +    server = run_sync_server()
       server.shutdown()
  
  ```
  
golden_diff: diff --git a/docs/conf.py b/docs/conf.py
  --- a/docs/conf.py
  +++ b/docs/conf.py
  @@ -32,7 +32,7 @@
   
   master_doc = 'index'
   project = u'Read The Docs'
  -copyright = u'2010, Eric Holscher, Charlie Leifer, Bobby Grace'
  +copyright = u'2010-2017, Read the Docs, Inc & contributors'
   version = '1.0'
   release = '1.0'
   exclude_patterns = ['_build']
  
verification_info: {"golden_diff": "diff --git a/docs/conf.py b/docs/conf.py\n--- a/docs/conf.py\n+++ b/docs/conf.py\n@@ -32,7 +32,7 @@\n \n master_doc = 'index'\n project = u'Read The Docs'\n-copyright = u'2010, Eric Holscher, Charlie Leifer, Bobby Grace'\n+copyright = u'2010-2017, Read the Docs, Inc & contributors'\n version = '1.0'\n release = '1.0'\n exclude_patterns = ['_build']\n", "issue": "Document that RTD uses `rel` branch for production\nHi, i'd like to add a new builder for doxygen documentation (but native, not with breath). Since there are a lot of branches like real/relcorp which a far ahead of master, i'd like to know, which branch to choose for development.\r\n\r\nThanks in advance!\r\nOli\r\n\n", "before_files": [{"content": "# -*- coding: utf-8 -*-\n#\nimport os\nimport sys\n\nfrom recommonmark.parser import CommonMarkParser\n\nsys.path.insert(0, os.path.abspath('..'))\nsys.path.append(os.path.dirname(__file__))\nos.environ.setdefault(\"DJANGO_SETTINGS_MODULE\", \"readthedocs.settings.dev\")\n\nfrom django.conf import settings\n\nimport django\ndjango.setup()\n\n\nsys.path.append(os.path.abspath('_ext'))\nextensions = [\n    'sphinx.ext.autodoc',\n    'sphinx.ext.intersphinx',\n    'sphinxcontrib.httpdomain',\n    'djangodocs',\n    'doc_extensions',\n]\ntemplates_path = ['_templates']\n\nsource_suffix = ['.rst', '.md']\nsource_parsers = {\n    '.md': CommonMarkParser,\n}\n\nmaster_doc = 'index'\nproject = u'Read The Docs'\ncopyright = u'2010, Eric Holscher, Charlie Leifer, Bobby Grace'\nversion = '1.0'\nrelease = '1.0'\nexclude_patterns = ['_build']\ndefault_role = 'obj'\npygments_style = 'sphinx'\nintersphinx_mapping = {\n    'python': ('http://python.readthedocs.io/en/latest/', None),\n    'django': ('http://django.readthedocs.io/en/1.8.x/', None),\n    'sphinx': ('http://sphinx.readthedocs.io/en/latest/', None),\n}\n# This doesn't exist since we aren't shipping any static files ourselves.\n#html_static_path = ['_static']\nhtmlhelp_basename = 'ReadTheDocsdoc'\nlatex_documents = [\n    ('index', 'ReadTheDocs.tex', u'Read The Docs Documentation',\n     u'Eric Holscher, Charlie Leifer, Bobby Grace', 'manual'),\n]\nman_pages = [\n    ('index', 'read-the-docs', u'Read The Docs Documentation',\n     [u'Eric Holscher, Charlie Leifer, Bobby Grace'], 1)\n]\n\nexclude_patterns = [\n    # 'api' # needed for ``make gettext`` to not die.\n]\n\nlanguage = 'en'\n\nlocale_dirs = [\n    'locale/',\n]\ngettext_compact = False\n\n\non_rtd = os.environ.get('READTHEDOCS', None) == 'True'\nif not on_rtd:  # only import and set the theme if we're building docs locally\n    import sphinx_rtd_theme\n    html_theme = 'sphinx_rtd_theme'\n    html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]\n", "path": "docs/conf.py"}], "after_files": [{"content": "# -*- coding: utf-8 -*-\n#\nimport os\nimport sys\n\nfrom recommonmark.parser import CommonMarkParser\n\nsys.path.insert(0, os.path.abspath('..'))\nsys.path.append(os.path.dirname(__file__))\nos.environ.setdefault(\"DJANGO_SETTINGS_MODULE\", \"readthedocs.settings.dev\")\n\nfrom django.conf import settings\n\nimport django\ndjango.setup()\n\n\nsys.path.append(os.path.abspath('_ext'))\nextensions = [\n    'sphinx.ext.autodoc',\n    'sphinx.ext.intersphinx',\n    'sphinxcontrib.httpdomain',\n    'djangodocs',\n    'doc_extensions',\n]\ntemplates_path = ['_templates']\n\nsource_suffix = ['.rst', '.md']\nsource_parsers = {\n    '.md': CommonMarkParser,\n}\n\nmaster_doc = 'index'\nproject = u'Read The Docs'\ncopyright = u'2010-2017, Read the Docs, Inc & contributors'\nversion = '1.0'\nrelease = '1.0'\nexclude_patterns = ['_build']\ndefault_role = 'obj'\npygments_style = 'sphinx'\nintersphinx_mapping = {\n    'python': ('http://python.readthedocs.io/en/latest/', None),\n    'django': ('http://django.readthedocs.io/en/1.8.x/', None),\n    'sphinx': ('http://sphinx.readthedocs.io/en/latest/', None),\n}\n# This doesn't exist since we aren't shipping any static files ourselves.\n#html_static_path = ['_static']\nhtmlhelp_basename = 'ReadTheDocsdoc'\nlatex_documents = [\n    ('index', 'ReadTheDocs.tex', u'Read The Docs Documentation',\n     u'Eric Holscher, Charlie Leifer, Bobby Grace', 'manual'),\n]\nman_pages = [\n    ('index', 'read-the-docs', u'Read The Docs Documentation',\n     [u'Eric Holscher, Charlie Leifer, Bobby Grace'], 1)\n]\n\nexclude_patterns = [\n    # 'api' # needed for ``make gettext`` to not die.\n]\n\nlanguage = 'en'\n\nlocale_dirs = [\n    'locale/',\n]\ngettext_compact = False\n\n\non_rtd = os.environ.get('READTHEDOCS', None) == 'True'\nif not on_rtd:  # only import and set the theme if we're building docs locally\n    import sphinx_rtd_theme\n    html_theme = 'sphinx_rtd_theme'\n    html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]\n", "path": "docs/conf.py"}]}