# HG changeset patch
# User wenzelm
# Date 1215089089 -7200
# Node ID 3640865d4a384924268c04e6118ca30a49b5a253
# Parent  9971758c50be7590f09ca70a69eeda695c1a8da2
logrotate setup;

diff -r 9971758c50be -r 3640865d4a38 Admin/Mercurial/convert
--- a/Admin/Mercurial/convert	Thu Jul 03 14:34:53 2008 +0200
+++ b/Admin/Mercurial/convert	Thu Jul 03 14:44:49 2008 +0200
@@ -30,3 +30,6 @@
 "$HG" convert --filemap cvs/Admin/Mercurial/filemap cvs hg >> "$LOG" 2>&1 || exit 2
 
 [ -e hg/.hg/hgrc ] || ln -s ../../cvs/Admin/Mercurial/hgrc hg/.hg/hgrc
+
+
+/usr/sbin/logrotate -s "$THIS/log.state" "$THIS/cvs/Admin/Mercurial/logrotate.conf"
diff -r 9971758c50be -r 3640865d4a38 Admin/Mercurial/logrotate.conf
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Mercurial/logrotate.conf	Thu Jul 03 14:44:49 2008 +0200
@@ -0,0 +1,8 @@
+# $Id$
+
+/home/isabelle/html-data/isabelle-repos/log {
+  compress
+  nomail
+  daily
+  rotate 5
+}