# HG changeset patch
# User wenzelm
# Date 1008175425 -3600
# Node ID 8f5e0a335ca75c8e39aad5c11594cca138942f02
# Parent  eca43a50e4a47271724c5b4c0228ece70e2b5ba3
option "-d pdf" by default (accomodates pdf bias of Mac OS X);
tuned getpwnam;

diff -r eca43a50e4a4 -r 8f5e0a335ca7 lib/Tools/mkdir
--- a/lib/Tools/mkdir	Wed Dec 12 17:40:36 2001 +0100
+++ b/lib/Tools/mkdir	Wed Dec 12 17:43:45 2001 +0100
@@ -138,7 +138,7 @@
     echo "OUT = \$(ISABELLE_OUTPUT)"
     echo "LOG = \$(OUT)/log"
     echo
-    echo "USEDIR = \$(ISATOOL) usedir ${VERBOSE}-i true -d dvi  ## -D generated"
+    echo "USEDIR = \$(ISATOOL) usedir ${VERBOSE}-i true -d pdf  ## -D generated"
     echo
     echo
     echo "## $NAME"
@@ -213,7 +213,7 @@
 
   [ -z "$QUIET" ] && echo "creating $PREFIX/document/root.tex" >&2
   TITLE=$(echo "$NAME" | tr _ -)
-  AUTHOR=$("$AUTO_PERL" -e "@pw = getpwnam(\"$USER\"); print @pw[-3]" | tr _ -)
+  AUTHOR=$("$AUTO_PERL" -e "@pw = getpwnam(\"$USER\"); print @pw[6]" | tr _ -)
   cat >document/root.tex <<EOF
 
 \documentclass[11pt,a4paper]{article}