From: Simon Josefsson <simon@josefsson.org>
Date: Tue, 4 Nov 2008 23:46:50 +0000 (+0100)
Subject: Fix last commit.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=28bc99691e6d11374e37f1ecc986a433e850f4a2;p=pspp

Fix last commit.
---

diff --git a/ChangeLog b/ChangeLog
index 6e084cebd7..d6eb985e16 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -26,6 +26,8 @@
 	* doc/standards.texi: Likewise.
 	* doc/verify.texi: Likewise.
 	* doc/visibility.texi: Likewise.
+	* doc/gnulib.texi (GNU Free Documentation License): Include
+	fdl-1.3.texi instead of fdl.texi.
 
 2008-11-04  Simon Josefsson  <simon@josefsson.org>
 
diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index f18569d5c4..3a9265cc4d 100644
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -5841,7 +5841,7 @@ generated automatically.
 @node GNU Free Documentation License
 @appendix GNU Free Documentation License
 
-@include fdl.texi
+@include fdl-1.3.texi
 
 
 @node Index