be less ambitious about the author's name;
authorwenzelm
Mon Jun 20 22:13:55 2005 +0200 (2005-06-20)
changeset 16482ed08c8edc289
parent 16481 fe61cdf5af51
child 16483 ace3c2b95353
be less ambitious about the author's name;
tuned generated root.tex;
lib/Tools/mkdir
     1.1 --- a/lib/Tools/mkdir	Mon Jun 20 22:13:53 2005 +0200
     1.2 +++ b/lib/Tools/mkdir	Mon Jun 20 22:13:55 2005 +0200
     1.3 @@ -197,9 +197,6 @@
     1.4  
     1.5  # document directory
     1.6  
     1.7 -#set by configure
     1.8 -AUTO_PERL=perl
     1.9 -
    1.10  if [ -e document ]; then
    1.11    echo "keeping $PREFIX/document" >&2
    1.12  else
    1.13 @@ -207,38 +204,36 @@
    1.14    mkdir document || fail "Bad directory: $PREFIX/document"
    1.15  
    1.16    [ -z "$QUIET" ] && echo "creating $PREFIX/document/root.tex" >&2
    1.17 -  TITLE=$(echo "$NAME" | tr _ -)
    1.18 -  # a hack to extract the current user name
    1.19 -  PERLLINE='@pw = getpwnam("'$USER'"); $uname = $pw[6];
    1.20 -    $uname =~ tr/_/-/; $uname =~ s/^[^\\]*\\//g; $uname =~ s/,S[0-9\-]+$//g; print $uname;'
    1.21 -  AUTHOR=$("$AUTO_PERL" -e "$PERLLINE")
    1.22 -  # the perl "getpwnam" function extracts a data entry
    1.23 -  # from /etc/passwd; the first tr is to replace some characters
    1.24 -  # undigestible for tex; the two regexp substs eliminate the
    1.25 -  # windows domain-specific noise as found in /etc/passwd using cygwin
    1.26 +  TITLE=$(echo "$NAME" | tr _ - | tr -d '\\')
    1.27 +  AUTHOR=$(echo "By $USER" | tr _ - | tr -d '\\')
    1.28    cat >document/root.tex <<EOF
    1.29  \documentclass[11pt,a4paper]{article}
    1.30  \usepackage{isabelle,isabellesym}
    1.31  
    1.32 -% further packages required for unusual symbols (see also isabellesym.sty)
    1.33 -% use only when needed
    1.34 -%\usepackage{amssymb}                  % for \<leadsto>, \<box>, \<diamond>,
    1.35 -                                       % \<sqsupset>, \<mho>, \<Join>, 
    1.36 -                                       % \<lhd>, \<lesssim>, \<greatersim>,
    1.37 -                                       % \<lessapprox>, \<greaterapprox>,
    1.38 -                                       % \<triangleq>, \<yen>, \<lozenge>
    1.39 -%\usepackage[greek,english]{babel}     % greek for \<euro>,
    1.40 -                                       % english for \<guillemotleft>, 
    1.41 -                                       %             \<guillemotright>
    1.42 -                                       % default language = last
    1.43 -%\usepackage[latin1]{inputenc}         % for \<onesuperior>, \<onequarter>,
    1.44 -                                       % \<twosuperior>, \<onehalf>,
    1.45 -                                       % \<threesuperior>, \<threequarters>,
    1.46 -                                       % \<degree>
    1.47 -%\usepackage[only,bigsqcap]{stmaryrd}  % for \<Sqinter>
    1.48 -%\usepackage{eufrak}                   % for \<AA> ... \<ZZ>, \<aa> ... \<zz>
    1.49 -                                       % (only needed if amssymb not used)
    1.50 -%\usepackage{textcomp}                 % for \<cent>, \<currency>
    1.51 +% further packages required for unusual symbols (see also
    1.52 +% isabellesym.sty), use only when needed
    1.53 +
    1.54 +%\usepackage{amssymb}
    1.55 +  %for \<leadsto>, \<box>, \<diamond>, \<sqsupset>, \<mho>, \<Join>,
    1.56 +  %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>,
    1.57 +  %\<triangleq>, \<yen>, \<lozenge>
    1.58 +
    1.59 +%\usepackage[greek,english]{babel}
    1.60 +  %option greek for \<euro>
    1.61 +  %option english (default language) for \<guillemotleft>, \<guillemotright>
    1.62 +
    1.63 +%\usepackage[latin1]{inputenc}
    1.64 +  %for \<onesuperior>, \<onequarter>, \<twosuperior>, \<onehalf>,
    1.65 +  %\<threesuperior>, \<threequarters>, \<degree>
    1.66 +
    1.67 +%\usepackage[only,bigsqcap]{stmaryrd}
    1.68 +  %for \<Sqinter>
    1.69 +
    1.70 +%\usepackage{eufrak}
    1.71 +  %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)
    1.72 +
    1.73 +%\usepackage{textcomp}
    1.74 +  %for \<cent>, \<currency>
    1.75  
    1.76  % this should be the last package used
    1.77  \usepackage{pdfsetup}