From: Karl Berry <karl@freefriends.org>
Date: Sun, 15 Feb 2004 17:34:06 +0000 (+0000)
Subject: update from texinfo
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=08c914d1797613718a56ec5f4a6e2ee105c7241c;p=pspp

update from texinfo
---

diff --git a/config/texinfo.tex b/config/texinfo.tex
index 6631cdc200..f6b5fb316d 100644
--- a/config/texinfo.tex
+++ b/config/texinfo.tex
@@ -3,7 +3,7 @@
 % Load plain if necessary, i.e., if running under initex.
 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
 %
-\def\texinfoversion{2004-02-14.10}
+\def\texinfoversion{2004-02-15.09}
 %
 % Copyright (C) 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004 Free Software
@@ -174,11 +174,13 @@
 \def\makecsname#1{\expandafter\noexpand\csname#1\endcsname}
 
 % Hyphenation fixes.
-\hyphenation{ap-pen-dix}
-\hyphenation{eshell}
-\hyphenation{mini-buf-fer mini-buf-fers}
-\hyphenation{time-stamp}
-\hyphenation{white-space}
+\hyphenation{
+  Flor-i-da Ghost-script Ghost-view Mac-OS Ra-dha-krish-nan
+  ap-pen-dix bit-map data-base data-bases eshell fall-ing half-way
+  long-est mini-buf-fer mini-buf-fers over-view par-a-digm
+  rec-tan-gu-lar ro-bot-ics se-vere-ly set-up spa-ces strong-est
+  time-stamp which-ever white-space wide-spread wrap-around
+}
 
 % Margin to add to right of even pages, to left of odd pages.
 \newdimen\bindingoffset