mirror of
https://github.com/postgres/postgres.git
synced 2026-04-05 01:07:27 -04:00
24 lines
814 B
Bash
Executable file
24 lines
814 B
Bash
Executable file
#!/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
|