Remove tools and documention for generating TODO.html.

doc/src/FAQ/README

@@ -2,7 +2,3 @@ The FAQ* files in this directory are the master versions, and the
 ../../FAQ* text files are created using lynx:
 
 	lynx -force_html -dont_wrap_pre -dump -hiddenlinks=ignore -nolist FAQ*
-
-The TODO.html file in this directory is not the master; doc/TODO is the
-master.  Use src/tools/TODO2html to create the HTML version stored here.
-

src/tools/TODO2html

@@ -1,24 +0,0 @@
-#!/bin/sh
-
-# $PostgreSQL: pgsql/src/tools/TODO2html,v 1.3 2008/04/19 12:52:51 momjian Exp $:
-
-# Converts doc/TODO text file to doc/src/FAQ/TODO.html HTML file
-
-[ ! -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