Diff for platos/_scripts/create-document between version 1.13 and 1.14
| version 1.13, 2005/06/11 01:46:58 |
version 1.14, 2005/06/19 22:06:55 |
|
|
| # All rights reserved. |
# All rights reserved. |
| # |
# |
| |
|
| # $Platon: platos/_scripts/create-document,v 1.12 2005/05/30 21:58:20 rajo Exp $ |
# $Platon: platos/_scripts/create-document,v 1.13 2005/06/11 01:46:58 rajo Exp $ |
| |
|
| # Uncomment following 2 lines for debugging |
# Uncomment following 2 lines for debugging |
| #DEBUG="echo" |
#DEBUG="echo" |
| Line 160 filename=`basename $out` |
|
| Line 160 filename=`basename $out` |
|
| |
|
| if [ -f "$out" ]; then |
if [ -f "$out" ]; then |
| echo |
echo |
| echo "Document '$NAME' already exists, please use another name" |
echo "Document '$out' already exists, please use another name" |
| exit 1; |
exit 1; |
| fi |
fi |
| |
|
Platon Group <platon@platon.org> http://platon.org/
|
|