version 1.1, 2010/01/26 15:22:44
|
version 1.4, 2010/02/10 10:14:26
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.9 |
RPL/2 (R) version 4.0.11 |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
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); "\ |