# HG changeset patch # User wenzelm # Date 1001966030 -7200 # Node ID e4314c06a2a31c5e31d7d69c5a35aff70853ef1d # Parent dfb59b9954a6d8139c6904ae6d3093d005972778 tuned; diff -r dfb59b9954a6 -r e4314c06a2a3 lib/Tools/mkdir --- a/lib/Tools/mkdir Mon Oct 01 15:46:35 2001 +0200 +++ b/lib/Tools/mkdir Mon Oct 01 21:53:50 2001 +0200 @@ -118,6 +118,8 @@ if [ "$ISAMAKEFILE" != - -a -f "$ISAMAKEFILE" ]; then echo "keeping $DIR/$ISAMAKEFILE" >&2 else + [ -z "$QUIET" -a -n "$ISAMAKEFILE" -a "$ISAMAKEFILE" != - ] && \ + echo "creating $DIR/$ISAMAKEFILE" >&2 { echo echo "## targets" echo @@ -183,6 +185,7 @@ if [ -f ROOT.ML ]; then echo "keeping $PREFIX/ROOT.ML" >&2 else + [ -z "$QUIET" ] && echo "creating $PREFIX/ROOT.ML" >&2 cat >ROOT.ML <&2 else + [ -z "$QUIET" ] && echo "creating $PREFIX/document" >&2 mkdir document || fail "Bad directory: $PREFIX/document" + + [ -z "$QUIET" ] && echo "creating $PREFIX/document/root.tex" >&2 TITLE=$(echo "$NAME" | tr _ -) - AUTHOR=$("$AUTO_PERL" -e "@pw = getpwnam(\"$USER\"); print @pw[5]" | tr _ -) + AUTHOR=$("$AUTO_PERL" -e "@pw = getpwnam(\"$USER\"); print @pw[-3]" | tr _ -) cat >document/root.tex <&2 <&2 <