X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2FChangeLog;h=362d2e6c3cfbe3c5c97a37675e3655ed5e59c951;hb=009350385d97d9fba2b33ea68cfe8b1aeebf1529;hp=2b5db6b187bac3919e4b04e91581b3bcd608f974;hpb=ece7245b6bf64b2d3d8a50472d18bbe176c982d4;p=pspp-builds.git

diff --git a/config/ChangeLog b/config/ChangeLog
index 2b5db6b1..362d2e6c 100644
--- a/config/ChangeLog
+++ b/config/ChangeLog
@@ -1,3 +1,8 @@
+Sat Feb 11 21:58:29 2006  Ben Pfaff  <blp@gnu.org>
+
+	* html-prologue: Don't use ${source-file}, which is no longer
+	supported.
+
 Tue Dec 30 22:37:04 2003  Ben Pfaff  <blp@gnu.org>
 
 	* devices: Add "squeeze=on top-margin=0 bottom-margin=0" to