From c6106155630bad0f1066495ec059ca5736c0bcd3 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Sat, 19 Apr 2008 12:42:35 +0000
Subject: [PATCH] Add script FAQ2txt to convert HTML files to txt.  Add comment
 to TODO2html.

---
 src/tools/FAQ2txt   | 7 +++++++
 src/tools/TODO2html | 4 +++-
 2 files changed, 10 insertions(+), 1 deletion(-)
 create mode 100755 src/tools/FAQ2txt

diff --git a/src/tools/FAQ2txt b/src/tools/FAQ2txt
new file mode 100755
index 00000000000..61ca5f346eb
--- /dev/null
+++ b/src/tools/FAQ2txt
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+# $PostgreSQL: pgsql/src/tools/FAQ2txt,v 1.1 2008/04/19 12:42:35 momjian Exp $:
+
+# 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 3149b56f054..ed448b9eead 100755
--- a/src/tools/TODO2html
+++ b/src/tools/TODO2html
@@ -1,6 +1,8 @@
 #!/bin/sh
 
-# $PostgreSQL: pgsql/src/tools/TODO2html,v 1.1 2008/04/19 12:34:54 momjian Exp $:
+# $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
 
-- 
GitLab