diff options
author | Cameron Steel <Tugzrida@users.noreply.github.com> | 2020-09-23 20:36:55 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-23 20:36:55 +0300 |
commit | 9a72db5b9b84396423b75cc32d5b137606953956 (patch) | |
tree | 4e87b18453beb12eeb8dc3c98201aef37c21c0f1 /certbot-dns-ovh | |
parent | 14cbf67d656618be0d36053265fe9fc3ace5085b (diff) |
Convert http links to https (#8287)
* Convert http links to https
* Fix remaining links
Diffstat (limited to 'certbot-dns-ovh')
-rw-r--r-- | certbot-dns-ovh/docs/conf.py | 2 | ||||
-rw-r--r-- | certbot-dns-ovh/docs/make.bat | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/certbot-dns-ovh/docs/conf.py b/certbot-dns-ovh/docs/conf.py index 6015a700e..c8a1575c4 100644 --- a/certbot-dns-ovh/docs/conf.py +++ b/certbot-dns-ovh/docs/conf.py @@ -93,7 +93,7 @@ todo_include_todos = False # a list of builtin themes. # -# http://docs.readthedocs.org/en/latest/theme.html#how-do-i-use-this-locally-and-on-read-the-docs +# https://docs.readthedocs.io/en/stable/faq.html#i-want-to-use-the-read-the-docs-theme-locally # on_rtd is whether we are on readthedocs.org on_rtd = os.environ.get('READTHEDOCS', None) == 'True' if not on_rtd: # only import and set the theme if we're building docs locally diff --git a/certbot-dns-ovh/docs/make.bat b/certbot-dns-ovh/docs/make.bat index 78f7dd669..fad760e2f 100644 --- a/certbot-dns-ovh/docs/make.bat +++ b/certbot-dns-ovh/docs/make.bat @@ -22,7 +22,7 @@ if errorlevel 9009 ( echo.may add the Sphinx directory to PATH. echo. echo.If you don't have Sphinx installed, grab it from - echo.http://sphinx-doc.org/ + echo.https://www.sphinx-doc.org/ exit /b 1 ) |