summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Momjian2008-04-19 12:52:51 +0000
committerBruce Momjian2008-04-19 12:52:51 +0000
commit80ff2fd65591916914f74eacd80229837ec9c2d7 (patch)
treee7d359e0941bf3a7e3962a2bc5e470cffd49aee0
parent51141f84f277a5ebbbc9a4dcff0579d995150870 (diff)
Update doc script comments.
-rwxr-xr-xsrc/tools/FAQ2txt3
-rwxr-xr-xsrc/tools/TODO2html2
2 files changed, 3 insertions, 2 deletions
diff --git a/src/tools/FAQ2txt b/src/tools/FAQ2txt
index 5868cffd9e..4512b89ea9 100755
--- a/src/tools/FAQ2txt
+++ b/src/tools/FAQ2txt
@@ -2,6 +2,7 @@
# $PostgreSQL$:
-# 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 a02a6dfc40..02ee149650 100755
--- a/src/tools/TODO2html
+++ b/src/tools/TODO2html
@@ -2,7 +2,7 @@
# $PostgreSQL$:
-# 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