projects
/
platform
/
upstream
/
make.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
cf9aa5b
)
Declare how to hyphenate "whitespace".
author
Richard M. Stallman
<rms@gnu.org>
Wed, 9 Jul 1997 19:40:16 +0000
(19:40 +0000)
committer
Richard M. Stallman
<rms@gnu.org>
Wed, 9 Jul 1997 19:40:16 +0000
(19:40 +0000)
texinfo.tex
patch
|
blob
|
history
diff --git
a/texinfo.tex
b/texinfo.tex
index 023d9757f6046c6f0b10dbe1862e388d450c20b0..43b8cb920697a897ede8ffa31bdbc5e13a1ad276 100644
(file)
--- a/
texinfo.tex
+++ b/
texinfo.tex
@@
-101,6
+101,7
@@
\hyphenation{ap-pen-dix}
\hyphenation{mini-buf-fer mini-buf-fers}
\hyphenation{eshell}
+\hyphenation{white-space}
% Margin to add to right of even pages, to left of odd pages.
\newdimen \bindingoffset