diff options
| author | Bruce Momjian | 2008-04-19 12:52:51 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2008-04-19 12:52:51 +0000 |
| commit | 80ff2fd65591916914f74eacd80229837ec9c2d7 (patch) | |
| tree | e7d359e0941bf3a7e3962a2bc5e470cffd49aee0 | |
| parent | 51141f84f277a5ebbbc9a4dcff0579d995150870 (diff) | |
Update doc script comments.
| -rwxr-xr-x | src/tools/FAQ2txt | 3 | ||||
| -rwxr-xr-x | src/tools/TODO2html | 2 |
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 |