![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to os_muldif-get.sh CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / OpenXM-web / src|
Return to os_muldif-get.sh CVS log | Up to [local] / OpenXM / doc / OpenXM-web / src |
| version 1.5, 2022/08/22 23:52:46 | version 1.6, 2022/08/24 06:29:22 | ||
|---|---|---|---|
|
|
||
| #!/bin/sh | #!/bin/sh | ||
| # $OpenXM: OpenXM/doc/OpenXM-web/src/os_muldif-get.sh,v 1.4 2022/02/23 02:09:20 takayama Exp $ | # $OpenXM: OpenXM/doc/OpenXM-web/src/os_muldif-get.sh,v 1.5 2022/08/22 23:52:46 takayama Exp $ | ||
| OpenXM_HOME=/home/taka/OX4/OX64/OpenXM | OpenXM_HOME=/home/taka/OX4/OX64/OpenXM | ||
| #OpenXM_HOME=/home/nobuki/OX4/OpenXM | #OpenXM_HOME=/home/nobuki/OX4/OpenXM | ||
| OX_MULDIF=${OpenXM_HOME}/src/asir-contrib/packages/src/os_muldif.rr | OX_MULDIF=${OpenXM_HOME}/src/asir-contrib/packages/src/os_muldif.rr | ||
| mkdir -p muldif | mkdir -p muldif | ||
| if true ; then | if true ; then | ||
| #if false ; then | #if false ; then | ||
| (cd muldif ; curl http://www.ms.u-tokyo.ac.jp/~oshima/muldif/os_muldif.rr >os_muldif.rr) | (cd muldif ; curl https://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 https://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 https://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) | (cd muldif ; curl https://www.ms.u-tokyo.ac.jp/~oshima/muldif/os_muldifeg.pdf >os_muldifeg.pdf) | ||
| fi | fi | ||
| head -1 ${OX_MULDIF} >muldif/tmp-os_muldif.rr | head -1 ${OX_MULDIF} >muldif/tmp-os_muldif.rr | ||
| sed -e '/$OpenXM.*takayama/d' muldif/os_muldif.rr >>muldif/tmp-os_muldif.rr | sed -e '/$OpenXM.*takayama/d' muldif/os_muldif.rr >>muldif/tmp-os_muldif.rr | ||
|
|
||
| mail -s 'os_muldif_is_updated_check_ox_current_doc_other_docs' takayama@math.kobe-u.ac.jp </dev/null | mail -s 'os_muldif_is_updated_check_ox_current_doc_other_docs' takayama@math.kobe-u.ac.jp </dev/null | ||
| fi | fi | ||
| if true ; then | if true ; then | ||
| (cd muldif ; curl http://www.ms.u-tokyo.ac.jp/~oshima/muldif/changelog.pdf >changelog.pdf) | (cd muldif ; curl https://www.ms.u-tokyo.ac.jp/~oshima/muldif/changelog.pdf >changelog.pdf) | ||
| fi | fi | ||