DEBSOURCES
Skip Quicknav
sources / mlpost / 0.9-5 / test / manual / convert_to_mps.sh
12345678
#! /bin/sh for i in manual.[0-9]*; do bn=${i%.*} v=${i#*.} cp $i $bn-$v.mps done