procyberian/emacs
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

More minor changes in the Emacs manual

Browse source 
* 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
Download patch file Download diff file Expand all files Collapse all files

6
doc/emacs/docstyle.texi
View file

@ -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}

2
doc/emacs/frames.texi
View file

@ -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}.

2
doc/emacs/trouble.texi
View file

@ -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

4
doc/emacs/xresources.texi
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
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.