=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v retrieving revision 1.32 retrieving revision 1.37 diff -u -p -r1.32 -r1.37 --- OpenXM/doc/OpenXM-web/top.html 2015/07/28 12:06:20 1.32 +++ OpenXM/doc/OpenXM-web/top.html 2017/07/05 05:52:26 1.37 @@ -26,11 +26,15 @@
+(cd /usr/local/OpenXM/lib/asir ; rm ox_pari ; ln -s ../../bin/ox_pari ox_pari) +
-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.31 2015/07/28 06:41:25 takayama Exp $ +$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.36 2017/06/27 09:01:33 takayama Exp $