refer to $PRG instead of (old) rsync-isabelle;
authorwenzelm
Thu Sep 29 19:37:20 2005 +0200 (2005-09-29)
changeset 177281412f84c420a
parent 17727 83d64a461507
child 17729 d74d0b5052a0
refer to $PRG instead of (old) rsync-isabelle;
Admin/isasync
     1.1 --- a/Admin/isasync	Thu Sep 29 18:01:12 2005 +0200
     1.2 +++ b/Admin/isasync	Thu Sep 29 19:37:20 2005 +0200
     1.3 @@ -75,7 +75,7 @@
     1.4  
     1.5  The rsync tool is very smart and efficient in mirroring large
     1.6  directory hierarchies.  See http://rsync.samba.org/ for more
     1.7 -information.  The rsync-isabelle script provides a simple front-end
     1.8 +information.  The $PRG script provides a simple front-end
     1.9  for easy access to the Isabelle distribution.
    1.10  
    1.11  The script can be either run in conservative or clean-sweep mode.
    1.12 @@ -108,7 +108,7 @@
    1.13    $PRG -d /foo/bar
    1.14  
    1.15  
    1.16 -After gaining some confidence in the workings of rsync-isabelle one
    1.17 +After gaining some confidence in the workings of $PRG one
    1.18  would usually set up some automatic mirror scheme, e.g. a daily cron
    1.19  job run by the 'nobody' user.
    1.20