diff options
author | Bruce Momjian | 2008-04-19 12:42:35 +0000 |
---|---|---|
committer | Bruce Momjian | 2008-04-19 12:42:35 +0000 |
commit | 51141f84f277a5ebbbc9a4dcff0579d995150870 (patch) | |
tree | a68708dee3467876117ca4e80b8f8e166a565915 | |
parent | ad60fe46f03cfe5816853800a8920e1506b9558e (diff) |
Add script FAQ2txt to convert HTML files to txt. Add comment to TODO2html.
-rwxr-xr-x | src/tools/FAQ2txt | 7 | ||||
-rwxr-xr-x | src/tools/TODO2html | 2 |
2 files changed, 9 insertions, 0 deletions
diff --git a/src/tools/FAQ2txt b/src/tools/FAQ2txt new file mode 100755 index 0000000000..5868cffd9e --- /dev/null +++ b/src/tools/FAQ2txt @@ -0,0 +1,7 @@ +#!/bin/sh + +# $PostgreSQL$: + +# Converts FAQ.html and FAQ_DEV.html to text files + +lynx -force_html -dont_wrap_pre -dump -hiddenlinks=ignore -nolist "$@" diff --git a/src/tools/TODO2html b/src/tools/TODO2html index b74529de13..a02a6dfc40 100755 --- a/src/tools/TODO2html +++ b/src/tools/TODO2html @@ -2,6 +2,8 @@ # $PostgreSQL$: +# Converts TODO text file to HTML + [ ! -f COPYRIGHT ] && echo "Run from top of source tree" 1>&2 && exit 1 # check if txt2html is installed |