[doc] install.texi - hboehm.info tweak

[Gerald Pfeifer]

Committed.

Gerald

2019-10-20  Gerald Pfeifer  <gerald@pfeifer.com>

	* doc/install.texi (Configuration, --enable-objc-gc): hboehm.info
	now defaults to https.

Index: doc/install.texi
===================================================================
--- doc/install.texi	(revision 277213)
+++ doc/install.texi	(working copy)
@@ -2347,7 +2347,7 @@ The following options apply to the build of the Ob
 @item --enable-objc-gc
 Specify that an additional variant of the GNU Objective-C runtime library
 is built, using an external build of the Boehm-Demers-Weiser garbage
-collector (@uref{http://www.hboehm.info/gc/}).  This library needs to be
+collector (@uref{https://www.hboehm.info/gc/}).  This library needs to be
 available for each multilib variant, unless configured with
 @option{--enable-objc-gc=@samp{auto}} in which case the build of the
 additional runtime library is skipped when not available and the build