diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/TODO2html | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/src/tools/TODO2html b/src/tools/TODO2html deleted file mode 100755 index 25c1ed8f5e3..00000000000 --- 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 |