Return to os_muldif-get.sh CVS log | Up to [local] / OpenXM / doc / OpenXM-web / src |
File: [local] / OpenXM / doc / OpenXM-web / src / os_muldif-get.sh (download)
Revision 1.3, Mon Dec 10 05:46:22 2018 UTC (5 years, 5 months ago) by takayama
Oshima repository is moved from akagi to www.ms.u-tokyo.ac.jp |
#!/bin/sh # $OpenXM: OpenXM/doc/OpenXM-web/src/os_muldif-get.sh,v 1.3 2018/12/10 05:46:22 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 mkdir -p muldif if true ; 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 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) fi head -1 ${OX_MULDIF} >muldif/tmp-os_muldif.rr cat muldif/os_muldif.rr >>muldif/tmp-os_muldif.rr if diff -B -b -q muldif/tmp-os_muldif.rr ${OX_MULDIF} >/dev/null ; then echo "there is no change in os_muldif.rr" else mail -s 'os_muldif_is_updated_check_ox_current_doc_other_docs' takayama@math.kobe-u.ac.jp </dev/null fi if true ; then (cd muldif ; curl http://www.ms.u-tokyo.ac.jp/~oshima/muldif/changelog.pdf >changelog.pdf) fi