X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ftexinfo.tex;h=0b1293fb501413fc5a67cd716b35e8a85b978846;hb=6c00e8aa67a343882caaeb9b794b4891b50b9be5;hp=b4b9016f15c9c03fd2e50ed837e867cf5017bed7;hpb=1fc3af93c0ba6cbaf7ef09edc979096b6f16dd6f;p=pspp

diff --git a/doc/texinfo.tex b/doc/texinfo.tex
index b4b9016f15..0b1293fb50 100644
--- a/doc/texinfo.tex
+++ b/doc/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