=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/src/os_muldif-get.sh,v retrieving revision 1.4 retrieving revision 1.5 diff -u -p -r1.4 -r1.5 --- OpenXM/doc/OpenXM-web/src/os_muldif-get.sh 2022/02/23 02:09:20 1.4 +++ OpenXM/doc/OpenXM-web/src/os_muldif-get.sh 2022/08/22 23:52:46 1.5 @@ -1,5 +1,5 @@ #!/bin/sh -# $OpenXM: OpenXM/doc/OpenXM-web/src/os_muldif-get.sh,v 1.3 2018/12/10 05:46:22 takayama Exp $ +# $OpenXM: OpenXM/doc/OpenXM-web/src/os_muldif-get.sh,v 1.4 2022/02/23 02:09:20 takayama Exp $ OpenXM_HOME=/home/taka/OX4/OX64/OpenXM #OpenXM_HOME=/home/nobuki/OX4/OpenXM OX_MULDIF=${OpenXM_HOME}/src/asir-contrib/packages/src/os_muldif.rr @@ -9,6 +9,7 @@ if true ; then (cd muldif ; curl http://www.ms.u-tokyo.ac.jp/~oshima/muldif/os_muldif.rr >os_muldif.rr) (cd muldif ; curl http://www.ms.u-tokyo.ac.jp/~oshima/muldif/os_muldif.pdf >os_muldif.pdf) (cd muldif ; curl http://www.ms.u-tokyo.ac.jp/~oshima/muldif/os_muldif.dvi >os_muldif.dvi) +(cd muldif ; curl http://www.ms.u-tokyo.ac.jp/~oshima/muldif/os_muldifeg.pdf >os_muldifeg.pdf) fi head -1 ${OX_MULDIF} >muldif/tmp-os_muldif.rr sed -e '/$OpenXM.*takayama/d' muldif/os_muldif.rr >>muldif/tmp-os_muldif.rr