--- a/Admin/cronjob/README Fri Nov 03 14:14:17 2017 +0100
+++ b/Admin/cronjob/README Fri Nov 03 17:27:00 2017 +0100
@@ -1,13 +1,14 @@
Administrative Isabelle cronjob at TUM
======================================
+- jobs: manual installation on target directory:
+ cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update"
+ cp "$ISABELLE_HOME/Admin/cronjob/plain_identify "$HOME/cronjob/plain_identify"
+
- crontab: manual update on target machine
crontab -l
crontab -e
-- self_update: manual installation on target directory
- cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update"
-
- $HOME/cronjob/run/ -- run-time state
- $HOME/cronjob/log/ -- cumulative log area