]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Change names according to the great renaming.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 11 Jan 2000 15:34:45 +0000 (15:34 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 11 Jan 2000 15:34:45 +0000 (15:34 +0000)
git-svn-id: https://svn.dealii.org/trunk@2189 0785d39b-7218-0410-832d-ea1e28bc413d

CVSROOT/loginfo

index 77b663613ad42b9bf10811ba85c3ba6d1f7f17f9..a5b71940ccbbe9037b53cfd3cee76ae748338e08 100644 (file)
@@ -20,19 +20,17 @@ DEFAULT             (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CV
 #
 # The various DEAL libraries
 #
-^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.html
+^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.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
 #
 ^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; chmod a+r $CVSROOT/LOG/tests.html
 #
-^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/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.*                (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.1999.html > /tmp/Tdeal; mv /tmp/Tdeal $CVSROOT/LOG/deal.1999.html; chmod a+r $CVSROOT/LOG/deal.1999.html
 #
-^examples.*            (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/examples.html > /tmp/Texamples; mv /tmp/Texamples $CVSROOT/LOG/examples.html; chmod a+r $CVSROOT/LOG/examples.html
-#
-^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
+^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
 
 
 

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.