1u0 commented on a change in pull request #8519: [FLINK-12590][docs] Replace HTTP links URL: https://github.com/apache/flink/pull/8519#discussion_r286962242
########## File path: docs/build_docs.bat ########## @@ -36,7 +36,7 @@ goto check_pygments call python -c "import pygments" >nul 2>&1 if "%errorlevel%"=="0" goto execute echo WARN: Could not find pygments. -echo Please install with 'sudo easy_install Pygments' (requires Python; see http://pygments.org). +echo Please install with 'sudo easy_install Pygments' (requires Python; see https://pygments.org). Review comment: FYI, this link isn't working for me (I get 400 nginx error). Looks like the website doesn't support https. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected] With regards, Apache Git Services
