diff -r 000000000000 -r 6f7a81934006 doc/changelog2html.pl
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/changelog2html.pl Wed Jan 16 22:39:43 2008 +0100
@@ -0,0 +1,23 @@
+#!/usr/bin/perl
+$in_list = 0;
+
+print
+ "\n",
+ "ChangeLog\n",
+ "\n";
+while(<>) {
+ s/\s+$//;
+ s/^\s+//;
+ s//\>/g;
+ if(/^\d+-\d+-\d+ /) {
+ print "\n\n" if $in_list;
+ $in_list = 1;
+ print "$_\n
\n";
+ } elsif(s/^\* //) {
+ print "- $_\n";
+ } else {
+ print $_, "\n";
+ }
+}
+print "
\n\n" if $in_list;