--- /dev/null
+#!/bin/sh
+
+# This script is used to generate the list of changes that
+# appears in the release notes files, with HTML formatting.
+
+
+typeset -i in_log=0
+
+git shortlog $* | while read l
+do
+ if [ $in_log -eq 0 ]; then
+ echo '<p>'$l
+ echo '<ul>'
+ in_log=1
+ elif echo "$l" | egrep -q '^$' ; then
+ echo '</ul></p>'
+ echo
+ in_log=0
+ else
+ mesg=$(echo $l | sed 's/ (cherry picked from commit [0-9a-f]\+)//;s/\&/&/g;s/</\</g;s/>/\>/g')
+ echo ' <li>'${mesg}'</li>'
+ fi
+done