Remove tools and documention for generating TODO.html.

diff --git a/doc/src/FAQ/README b/doc/src/FAQ/README
index 09c380b0054e4a2c9a45c076216db0fd82b1f0e2..c3e78e0b312bcd162e60d43ad787e674fcde57da 100644 (file)
--- a/doc/src/FAQ/README
+++ b/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.
-

diff --git a/src/tools/TODO2html b/src/tools/TODO2html
deleted file mode 100755 (executable)
index 25c1ed8..0000000
--- a/src/tools/TODO2html
+++ /dev/null
@@ -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