Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/mkdir
changeset 15847 c05c7670f166
parent 15779 aed221aff642
child 15920 c79fa63504c8
equal deleted inserted replaced
15846:6f24b0c36dbd 15847:c05c7670f166 
   197 
   197 
   198 
   198 
   199 # document directory
 
   199 # document directory
 
   200 
   200 
   201 #set by configure
 
   201 #set by configure
 
   202 AUTO_PERL=/usr/bin/perl
 
   202 AUTO_PERL=perl
 
   203 
   203 
   204 if [ -e document ]; then
 
   204 if [ -e document ]; then
 
   205   echo "keeping $PREFIX/document" >&2
 
   205   echo "keeping $PREFIX/document" >&2
 
   206 else
 
   206 else
 
   207   [ -z "$QUIET" ] && echo "creating $PREFIX/document" >&2
 
   207   [ -z "$QUIET" ] && echo "creating $PREFIX/document" >&2
isabelle