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.
This commit is contained in:
Eli Zaretskii 2018-02-10 11:19:43 +02:00
parent 32fb8c4c33
commit 6a1c03d65b
4 changed files with 10 additions and 4 deletions

View file

@ -8,3 +8,9 @@
@end ignore @end ignore
@set txicodequoteundirected @set txicodequoteundirected
@set txicodequotebacktick @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}

View file

@ -642,7 +642,7 @@ Monospace-12:weight=bold:slant=italic
For a more detailed description of Fontconfig patterns, see the For a more detailed description of Fontconfig patterns, see the
Fontconfig manual, which is distributed with Fontconfig and available 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 @cindex GTK font pattern
The second way to specify a font is to use a @dfn{GTK font pattern}. The second way to specify a font is to use a @dfn{GTK font pattern}.

View file

@ -1322,7 +1322,7 @@ the Emacs Lisp Reference Manual
@url{https://www.gnu.org/software/emacs} @url{https://www.gnu.org/software/emacs}
@item @item
@url{http://www.emacswiki.org/} @url{https://www.emacswiki.org/}
@end itemize @end itemize
@menu @menu

View file

@ -512,7 +512,7 @@ those are governed by normal X resources (@pxref{Resources}).
The following sections describe how to customize GTK+ resources for The following sections describe how to customize GTK+ resources for
Emacs. For details about GTK+ resources, see the GTK+ API document at 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 In GTK+ version 3, GTK+ resources have been replaced by a completely
different system. The appearance of GTK+ widgets is now determined by 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 theme). Therefore, the description of GTK+ resources in this section
does not apply to GTK+ 3. For details about the GTK+ 3 styling does not apply to GTK+ 3. For details about the GTK+ 3 styling
system, see system, see
@uref{http://developer.gnome.org/gtk3/3.0/GtkCssProvider.html}. @uref{https://developer.gnome.org/gtk3/3.0/GtkCssProvider.html}.
@menu @menu
* GTK Resource Basics:: Basic usage of GTK+ resources. * GTK Resource Basics:: Basic usage of GTK+ resources.