diff options
| author | Bruce Momjian <bruce@momjian.us> | 2008-04-19 12:42:35 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2008-04-19 12:42:35 +0000 |
| commit | c6106155630bad0f1066495ec059ca5736c0bcd3 (patch) | |
| tree | e2fdaaaad95236dddb9d641cf480784be8256160 | |
| parent | 54208a3272e1c18c7657379128fc871252e5faef (diff) | |
| download | postgresql-c6106155630bad0f1066495ec059ca5736c0bcd3.tar.gz postgresql-c6106155630bad0f1066495ec059ca5736c0bcd3.zip | |
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 | 4 |
2 files changed, 10 insertions, 1 deletions
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 |