]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
base to base.html
authorguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 4 Sep 1998 14:32:16 +0000 (14:32 +0000)
committerguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 4 Sep 1998 14:32:16 +0000 (14:32 +0000)
git-svn-id: https://svn.dealii.org/trunk@566 0785d39b-7218-0410-832d-ea1e28bc413d

CVSROOT/loginfo

index 42cda45883f5860215198868f08ab1636adb9be9..7eac265ad35e29945cdcab64d4838d78ad338329 100644 (file)
@@ -20,7 +20,7 @@ DEFAULT               (echo ""; echo $USER %s; date; cat) >> $CVSROOT/LOG/default
 ^deal.*                (echo ""; echo $USER %s; date; cat) >> $CVSROOT/LOG/deal
 ^mia.*         (echo ""; echo $USER %s; date; cat) >> $CVSROOT/LOG/mia
 ^lac.*         (echo ""; echo $USER %s; date; cat) >> $CVSROOT/LOG/lac
-^base.*                (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/base > /tmp/Tbase; mv /tmp/Tbase $CVSROOT/LOG/base
+^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
 
 
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.