From 54208a3272e1c18c7657379128fc871252e5faef Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Sat, 19 Apr 2008 12:34:54 +0000
Subject: [PATCH] Add TODO2html tool to convert TODO to HTML.

---
 src/tools/TODO2html | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100755 src/tools/TODO2html

diff --git a/src/tools/TODO2html b/src/tools/TODO2html
new file mode 100755
index 00000000000..3149b56f054
--- /dev/null
+++ b/src/tools/TODO2html
@@ -0,0 +1,22 @@
+#!/bin/sh
+
+# $PostgreSQL: pgsql/src/tools/TODO2html,v 1.1 2008/04/19 12:34:54 momjian Exp $:
+
+[ ! -f COPYRIGHT ] && echo "Run from top of source tree" 1>&2 && exit 1
+
+# check if txt2html is installed
+txt2html -h > /dev/null 2>&1
+if [ "$?" -gt 1 ]
+then	echo "Cannot find txt2html." 1>&2
+	echo "You must install txt2html from http://txt2html.sourceforge.net." 1>&2
+	exit 1
+fi
+
+cat doc/TODO |
+# lines with only whitespace throws off txt2html bullet formatting
+sed 's/^[ 	][ 	]*$//' |
+sed 's/^\(\* -\)\(.*\)$/\1*\2*/' |
+sed 's/^\([	][	]*o -\)\(.*\)$/\1*\2*/' |
+txt2html --xhtml -s 100 -p 100 --xhtml --titlefirst \
+	--body_deco ' bgcolor="#FFFFFF" text="#000000" link="#FF0000" vlink="#A00000" alink="#0000FF"' \
+	--caps_tag '' > doc/src/FAQ/TODO.html
-- 
GitLab