Committed to mainline; I'll possibly push this back to at least GCC 6 later.
Gerald 2016-05-28 Gerald Pfeifer <ger...@pfeifer.com> * doc/install.texi: Use https for shop.fsf.org. Index: doc/install.texi =================================================================== --- doc/install.texi (revision 236852) +++ doc/install.texi (working copy) @@ -3161,7 +3161,7 @@ @samp{make pdf} in place of @samp{make dvi}, you can create documentation in the form of @file{.pdf} files; this requires @command{texi2pdf}, which is included with Texinfo version 4.8 and later. You can also -@uref{http://shop.fsf.org/,,buy printed manuals from the +@uref{https://shop.fsf.org/,,buy printed manuals from the Free Software Foundation}, though such manuals may not be for the most recent version of GCC@.