From: guido Date: Fri, 4 Sep 1998 14:49:10 +0000 (+0000) Subject: html-log X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e0ff2943f62c20ece885335eefe3584ddb393546;p=dealii-svn.git html-log newdeal without projects git-svn-id: https://svn.dealii.org/trunk@570 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/CVSROOT/loginfo b/CVSROOT/loginfo index 4b4194e10f..0c77b847fc 100644 --- a/CVSROOT/loginfo +++ b/CVSROOT/loginfo @@ -16,7 +16,7 @@ # name and listing the modified file names. # # For example: -DEFAULT (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/default.html > /tmp/Tdefault; mv /tmp/Tbase $CVSROOT/LOG/default.html +DEFAULT (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/default.html > /tmp/Tdefault; mv /tmp/Tdefault $CVSROOT/LOG/default.html ^base.* (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/base.html > /tmp/Tbase; mv /tmp/Tbase $CVSROOT/LOG/base.html ^reports.* (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/reports.html > /tmp/Treports; mv /tmp/Treports $CVSROOT/LOG/reports.html ^tests.* (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/tests.html > /tmp/Ttests; mv /tmp/Ttests $CVSROOT/LOG/tests.html