From: Karl Berry <karl@freefriends.org>
Date: Tue, 17 May 2005 14:07:25 +0000 (+0000)
Subject: update from texinfo
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c64012a6713ee3cf555e57296efff0eb0b4f98dd;p=pspp

update from texinfo
---

diff --git a/build-aux/texinfo.tex b/build-aux/texinfo.tex
index 8a7457d6e7..3051a4fec2 100644
--- a/build-aux/texinfo.tex
+++ b/build-aux/texinfo.tex
@@ -21,8 +21,8 @@
 %
 % You should have received a copy of the GNU General Public License
 % along with this texinfo.tex file; see the file COPYING.  If not, write
-% to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
-% Boston, MA 02111-1307, USA.
+% to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
+% Boston, MA 02110-1301, USA.
 %
 % As a special exception, when this file is read by TeX when processing
 % a Texinfo source document, you may use the result without