summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Momjian2008-04-19 12:42:35 +0000
committerBruce Momjian2008-04-19 12:42:35 +0000
commit51141f84f277a5ebbbc9a4dcff0579d995150870 (patch)
treea68708dee3467876117ca4e80b8f8e166a565915
parentad60fe46f03cfe5816853800a8920e1506b9558e (diff)
Add script FAQ2txt to convert HTML files to txt. Add comment to TODO2html.
-rwxr-xr-xsrc/tools/FAQ2txt7
-rwxr-xr-xsrc/tools/TODO2html2
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