From 6e884662a1e2bde138898117c72fd2f9cd661b60 Mon Sep 17 00:00:00 2001 From: Bruce Momjian Date: Sat, 19 Apr 2008 12:52:51 +0000 Subject: [PATCH] Update doc script comments. --- src/tools/FAQ2txt | 5 +++-- src/tools/TODO2html | 4 ++-- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/src/tools/FAQ2txt b/src/tools/FAQ2txt index 61ca5f346e..ef60628d6a 100755 --- a/src/tools/FAQ2txt +++ b/src/tools/FAQ2txt @@ -1,7 +1,8 @@ #!/bin/sh -# $PostgreSQL: pgsql/src/tools/FAQ2txt,v 1.1 2008/04/19 12:42:35 momjian Exp $: +# $PostgreSQL: pgsql/src/tools/FAQ2txt,v 1.2 2008/04/19 12:52:51 momjian Exp $: -# Converts FAQ.html and FAQ_DEV.html to text files +# Converts doc/src/FAQ/FAQ.html to text file doc/FAQ and +# converts doc/src/FAQ/FAQ_DEV.html to text file doc/FAQ_DEV lynx -force_html -dont_wrap_pre -dump -hiddenlinks=ignore -nolist "$@" diff --git a/src/tools/TODO2html b/src/tools/TODO2html index ed448b9eea..25c1ed8f5e 100755 --- a/src/tools/TODO2html +++ b/src/tools/TODO2html @@ -1,8 +1,8 @@ #!/bin/sh -# $PostgreSQL: pgsql/src/tools/TODO2html,v 1.2 2008/04/19 12:42:35 momjian Exp $: +# $PostgreSQL: pgsql/src/tools/TODO2html,v 1.3 2008/04/19 12:52:51 momjian Exp $: -# Converts TODO text file to HTML +# Converts doc/TODO text file to doc/src/FAQ/TODO.html HTML file [ ! -f COPYRIGHT ] && echo "Run from top of source tree" 1>&2 && exit 1