From fe9c8ab95075945c0d8986703d7ea187d691ac4d Mon Sep 17 00:00:00 2001 From: Jeff Widman Date: Wed, 24 Oct 2018 13:30:45 -0700 Subject: Fix sphinx url When I was fixing urls the other day, I noticed that sphinx hadn't added https but there was an open ticket: https://github.com/sphinx-doc/sphinx/issues/5522 Now that that is resolved, I'm updating it here. --- docs/make.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/make.bat') diff --git a/docs/make.bat b/docs/make.bat index 2e9d7dc..3332a3a 100644 --- a/docs/make.bat +++ b/docs/make.bat @@ -56,7 +56,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 ) -- cgit v1.2.1