Rev 13763 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 13763 | Rev 14857 | ||
---|---|---|---|
Line 57... | Line 57... | ||
57 | random record replace |
57 | random record replace |
58 | solve |
58 | solve |
59 | sort |
59 | sort |
60 | texmath text |
60 | texmath text |
61 | cutit |
61 | cutit |
62 |
|
62 | html2iso |
- | 63 | detag' |
|
63 | 64 | ||
64 | for j in $list ; do |
65 | for j in $list ; do |
65 | 66 | ||
66 | $wims_home/src/wims test $wims_dirtest $j vartest> $wims_tmp/$j 2>&1 |
67 | $wims_home/src/wims test $wims_dirtest $j vartest> $wims_tmp/$j 2>&1 |
67 | # echo "$wims_home/src/wims test $wims_dirtest $j vartest"; |
68 | # echo "$wims_home/src/wims test $wims_dirtest $j vartest"; |