version 1.2, 2010/01/27 22:22:18
|
version 1.11, 2010/06/24 10:10:47
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.10 |
RPL/2 (R) version 4.0.17 |
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); "\ |
Line 38
|
Line 38
|
#define ds_tex_taille_corps "10pt" |
#define ds_tex_taille_corps "10pt" |
#define ds_tex_encodage_1 "T1" |
#define ds_tex_encodage_1 "T1" |
#define ds_tex_encodage_2 "utf8" |
#define ds_tex_encodage_2 "utf8" |
|
#define ds_tex_encodage_3 "UTF-8" |
#define ds_tex_langue "frenchb" |
#define ds_tex_langue "frenchb" |
#define ds_tex_style "plain" |
#define ds_tex_style "plain" |
|
|