--- 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"
--- /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
+}