lib/Tools/latex
changeset 16170 75cb95f4825f
parent 16163 a9f460f16fd6
child 16171 3c939bb52420
     1.1 --- a/lib/Tools/latex	Wed Jun 01 12:30:50 2005 +0200
     1.2 +++ b/lib/Tools/latex	Wed Jun 01 14:16:45 2005 +0200
     1.3 @@ -87,8 +87,9 @@
     1.4    do
     1.5      TARGET="$DIR"/$(basename $STYLEFILE)
     1.6      rm -f $TARGET
     1.7 -    "$AUTO_PERL" -n -e 's/\$[I]d:?(?:\s)*([^\$]*)\$/originating from CVS: $1/g; print;' $STYLEFILE > $TARGET
     1.8 -    # the [I] is there to prevent CVS from expanding $Id...$ itself ;-)
     1.9 +    "$AUTO_PERL" -n -e 's/\$[I]d:?(?:\s)*([^\$]*)\$//g; print;' "$STYLEFILE" > "$TARGET"
    1.10 +    #~ "$AUTO_PERL" -n -e 's/\$[I]d:?(?:\s)*([^\$]*)\$/originating from CVS: $1/g; print;' $STYLEFILE > $TARGET
    1.11 +    #~ # the [I] is there to prevent CVS from expanding $Id...$ itself ;-)
    1.12    done
    1.13  }
    1.14