]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
html-log
authorguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 4 Sep 1998 14:48:34 +0000 (14:48 +0000)
committerguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 4 Sep 1998 14:48:34 +0000 (14:48 +0000)
newdeal without projects

git-svn-id: https://svn.dealii.org/trunk@569 0785d39b-7218-0410-832d-ea1e28bc413d

CVSROOT/loginfo

index 569a28e2d04ced01f20ff30264197457d4e643e8..4b4194e10f7f2b4b22f2d77af84dcb3d869f4d24 100644 (file)
@@ -16,7 +16,7 @@
 # name and listing the modified file names.
 #
 # For example:
-DEFAULT                (echo ""; echo $USER %s; date; cat) >> $CVSROOT/LOG/default
+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
 ^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

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.