blob: ed448b9eead7633605fd86656bc5c4b6e0e520df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#!/bin/sh
# $PostgreSQL: pgsql/src/tools/TODO2html,v 1.2 2008/04/19 12:42:35 momjian Exp $:
# Converts TODO text file to HTML
[ ! -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
|
