diff options
Diffstat (limited to 'src/tools/TODO2html')
| -rwxr-xr-x | src/tools/TODO2html | 4 |
1 files changed, 3 insertions, 1 deletions
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 |