diff -c pari-2.1.1/src/gp/gp.c pari-2.1.1-patched/src/gp/gp.c *** pari-2.1.1/src/gp/gp.c Mon Apr 2 05:31:12 2001 --- pari-2.1.1-patched/src/gp/gp.c Thu Aug 23 18:47:13 2001 *************** *** 1908,1913 **** --- 1908,1914 ---- f = gprc_chk(str); /* in $HOME */ if (!f) f = gprc_chk(s); /* in . */ if (!f) f = gprc_chk("/etc/gprc"); + if (!f) f = gprc_chk("TARGET/etc/gprc"); if (!f) f = gprc_chk("C:/_gprc"); free(str); }