From 3c35de85e7b23f1152a069f9f8508d7fca270704 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Wed, 20 Aug 2008 18:22:28 +0000
Subject: [PATCH] Remove tools and documention for generating TODO.html.

---
 doc/src/FAQ/README  |  4 ----
 src/tools/TODO2html | 24 ------------------------
 2 files changed, 28 deletions(-)
 delete mode 100755 src/tools/TODO2html

diff --git a/doc/src/FAQ/README b/doc/src/FAQ/README
index 09c380b005..c3e78e0b31 100644
--- 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
index 25c1ed8f5e..0000000000
--- 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
-- 
2.40.0