mirror/postgresql
2
0
Fork 0
mirror of https://git.postgresql.org/git/postgresql.git synced 2024-12-15 08:20:16 +08:00
Code Issues Packages Projects Releases Wiki Activity

Update doc script comments.

Browse Source
This commit is contained in:
Bruce Momjian 2008-04-19 12:52:51 +00:00
parent c610615563
commit 6e884662a1
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/tools/FAQ2txt
View File

@ -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 "$@"

4
src/tools/TODO2html
View File

@ -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