Commit 6a1c03d6 authored by Eli Zaretskii's avatar Eli Zaretskii

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.
parent 32fb8c4c
......@@ -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}
......@@ -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}.
......
......@@ -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
......
......@@ -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.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment