version 1.1, 2017/03/31 01:03:51 |
version 1.2, 2017/06/12 04:29:12 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM$ |
# $OpenXM: OpenXM/doc/OpenXM-web/src/os_muldif-get.sh,v 1.1 2017/03/31 01:03:51 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 |
Line 24 if diff -B -b -q muldif/tmp-os_muldif.rr ${OX_MULDIF} |
|
Line 24 if diff -B -b -q muldif/tmp-os_muldif.rr ${OX_MULDIF} |
|
else |
else |
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 |
|
(cd muldif ; curl ftp://akagi.ms.u-tokyo.ac.jp/pub/math/muldif/changelog.txt >changelog.txt) |
|
fi |
|
|
|
|
|
|
|
|