More minor changes in the Emacs manual

* doc/emacs/xresources.texi (GTK resources):
* doc/emacs/trouble.texi (Contributing):
* doc/emacs/frames.texi (Fonts): Use HTTPS URLs instead of HTTP.

* doc/emacs/docstyle.texi: Add a few @hyphenation directives,
based on reports in emacs-manual-bugs@gnu.org about incorrect
hyphenation.

4 files changed, 10 insertions, 4 deletions

diff --git a/doc/emacs/docstyle.texi b/doc/emacs/docstyle.texi
index dfd14306b39..f682e3d82be 100644
--- a/doc/emacs/docstyle.texi
+++ b/doc/emacs/docstyle.texi
@@ -8,3 +8,9 @@
 @end ignore
 @set txicodequoteundirected
 @set txicodequotebacktick
+@c It turns out TeX sometimes fails to hyphenate, so we help it here
+@hyphenation{au-to-mat-i-cal-ly}
+@hyphenation{spec-i-fied}
+@hyphenation{work-a-round}
+@hyphenation{work-a-rounds}
+@hyphenation{un-marked}
diff --git a/doc/emacs/frames.texi b/doc/emacs/frames.texi
index afdfa6c39c1..15b576d3323 100644
--- a/doc/emacs/frames.texi
+++ b/doc/emacs/frames.texi
@@ -642,7 +642,7 @@ Monospace-12:weight=bold:slant=italic
 
 For a more detailed description of Fontconfig patterns, see the
 Fontconfig manual, which is distributed with Fontconfig and available
-online at @url{http://fontconfig.org/fontconfig-user.html}.
+online at @url{https://fontconfig.org/fontconfig-user.html}.
 
 @cindex GTK font pattern
   The second way to specify a font is to use a @dfn{GTK font pattern}.
diff --git a/doc/emacs/trouble.texi b/doc/emacs/trouble.texi
index 2edeb05f9e0..330497c4ea9 100644
--- a/doc/emacs/trouble.texi
+++ b/doc/emacs/trouble.texi
@@ -1322,7 +1322,7 @@ the Emacs Lisp Reference Manual
 @url{https://www.gnu.org/software/emacs}
 
 @item
-@url{http://www.emacswiki.org/}
+@url{https://www.emacswiki.org/}
 @end itemize
 
 @menu
diff --git a/doc/emacs/xresources.texi b/doc/emacs/xresources.texi
index d58c6b905eb..ee59551a6a6 100644
--- a/doc/emacs/xresources.texi
+++ b/doc/emacs/xresources.texi
@@ -512,7 +512,7 @@ those are governed by normal X resources (@pxref{Resources}).
 
   The following sections describe how to customize GTK+ resources for
 Emacs.  For details about GTK+ resources, see the GTK+ API document at
-@uref{http://developer.gnome.org/gtk2/stable/gtk2-Resource-Files.html}.
+@uref{https://developer.gnome.org/gtk2/stable/gtk2-Resource-Files.html}.
 
   In GTK+ version 3, GTK+ resources have been replaced by a completely
 different system.  The appearance of GTK+ widgets is now determined by
@@ -522,7 +522,7 @@ style settings (where @var{theme} is the name of the current GTK+
 theme).  Therefore, the description of GTK+ resources in this section
 does not apply to GTK+ 3.  For details about the GTK+ 3 styling
 system, see
-@uref{http://developer.gnome.org/gtk3/3.0/GtkCssProvider.html}.
+@uref{https://developer.gnome.org/gtk3/3.0/GtkCssProvider.html}.
 
 @menu
 * GTK Resource Basics::   Basic usage of GTK+ resources.