diff options
| -rw-r--r-- | doc/src/FAQ/README | 4 | ||||
| -rwxr-xr-x | src/tools/TODO2html | 24 |
2 files changed, 0 insertions, 28 deletions
diff --git a/doc/src/FAQ/README b/doc/src/FAQ/README index 09c380b0054..c3e78e0b312 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 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 |