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 15574 b1d1b5bfc464
parent 14981 e73f8140af78
child 15703 727ef1b8b3ee
equal deleted inserted replaced
15573:cf53c2dcf440 15574:b1d1b5bfc464 
   196 
   196 
   197 
   197 
   198 # document directory
 
   198 # document directory
 
   199 
   199 
   200 #set by configure
 
   200 #set by configure
 
   201 AUTO_PERL=perl
 
   201 AUTO_PERL=/usr/bin/perl
 
   202 
   202 
   203 if [ -e document ]; then
 
   203 if [ -e document ]; then
 
   204   echo "keeping $PREFIX/document" >&2
 
   204   echo "keeping $PREFIX/document" >&2
 
   205 else
 
   205 else
 
   206   [ -z "$QUIET" ] && echo "creating $PREFIX/document" >&2
 
   206   [ -z "$QUIET" ] && echo "creating $PREFIX/document" >&2
isabelle