From: wolf Date: Tue, 11 Jan 2000 16:00:28 +0000 (+0000) Subject: . X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8ed66f4fe5042527cc29cd479830831cb2c10799;p=dealii-svn.git . git-svn-id: https://svn.dealii.org/trunk@2194 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/CVSROOT/loginfo b/CVSROOT/loginfo index 8b772d0f0c..0def03eb3b 100644 --- a/CVSROOT/loginfo +++ b/CVSROOT/loginfo @@ -20,7 +20,7 @@ DEFAULT (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CV # # The various DEAL libraries # -^deal.II/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; chmod a+r $CVSROOT/LOG/base-2000.html +^deal.II/base.* (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/base-2000.html > /tmp/Tbase; mv /tmp/Tbase $CVSROOT/LOG/base-2000.html; chmod a+r $CVSROOT/LOG/base-2000.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; chmod a+r $CVSROOT/LOG/reports.html # @@ -28,7 +28,7 @@ DEFAULT (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CV # ^deal.II/lac.* (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/lac.html > /tmp/Tlac; mv /tmp/Tlac $CVSROOT/LOG/lac.html; chmod a+r $CVSROOT/LOG/lac.html # -^deal.II/deal.* (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/deal.1999.html > /tmp/Tdeal; mv /tmp/Tdeal $CVSROOT/LOG/deal.1999.html; chmod a+r $CVSROOT/LOG/deal.1999.html +^deal.II/deal.* (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/deal-2000.html > /tmp/Tdeal; mv /tmp/Tdeal $CVSROOT/LOG/deal-2000.html; chmod a+r $CVSROOT/LOG/deal-2000.html # ^deal.II/doc.* (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/doc.html > /tmp/Tdoc; mv /tmp/Tdoc $CVSROOT/LOG/doc.html; chmod a+r $CVSROOT/LOG/doc.html