Add script FAQ2txt to convert HTML files to txt. Add comment to TODO2html.

diff --git a/src/tools/FAQ2txt b/src/tools/FAQ2txt
new file mode 100755 (executable)
index 0000000..5868cff
--- /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 b74529de13466518f548417c5952261b3de6abf3..a02a6dfc40740d59c239c5bb721116b593f9fe78 100755 (executable)
--- 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