version 1.2, 2010/01/27 22:22:18
|
version 1.3, 2010/02/08 19:26:32
|
Line 27
|
Line 27
|
"`%s/bin/rplfile -m %s/share/rplfiles " \ |
"`%s/bin/rplfile -m %s/share/rplfiles " \ |
" -i %s | awk '{ print $3; }' " \ |
" -i %s | awk '{ print $3; }' " \ |
"| awk -F= '{ if ($2 != \"\") " \ |
"| awk -F= '{ if ($2 != \"\") " \ |
"printf(\"-f %%s\", $2); }'` -t utf8 %s " \ |
"printf(\"-f %%s\", $2); }'` -t utf-8 %s " \ |
"> %s 2> /dev/null; " \ |
"> %s 2> /dev/null; " \ |
"(cd %s; echo x | latex %s 1> /dev/null " \ |
"(cd %s; echo x | latex %s 1> /dev/null " \ |
"2> /dev/null); "\ |
"2> /dev/null); "\ |