Return to os_muldif-get.sh CVS log

Up to [local] / OpenXM / doc / OpenXM-web / src

Annotation of OpenXM/doc/OpenXM-web/src/os_muldif-get.sh, Revision 1.4

1.1       takayama    1: #!/bin/sh
1.4     ! takayama    2: # $OpenXM: OpenXM/doc/OpenXM-web/src/os_muldif-get.sh,v 1.3 2018/12/10 05:46:22 takayama Exp $
1.1       takayama    3: OpenXM_HOME=/home/taka/OX4/OX64/OpenXM
                      4: #OpenXM_HOME=/home/nobuki/OX4/OpenXM
                      5: OX_MULDIF=${OpenXM_HOME}/src/asir-contrib/packages/src/os_muldif.rr
                      6: mkdir -p muldif
                      7: if true ; then
                      8: #if false ; then
1.3       takayama    9: (cd muldif ; curl http://www.ms.u-tokyo.ac.jp/~oshima/muldif/os_muldif.rr >os_muldif.rr)
                     10: (cd muldif ; curl http://www.ms.u-tokyo.ac.jp/~oshima/muldif/os_muldif.pdf >os_muldif.pdf)
                     11: (cd muldif ; curl http://www.ms.u-tokyo.ac.jp/~oshima/muldif/os_muldif.dvi >os_muldif.dvi)
1.1       takayama   12: fi
                     13: head -1 ${OX_MULDIF} >muldif/tmp-os_muldif.rr
1.4     ! takayama   14: sed -e '/$OpenXM.*takayama/d' muldif/os_muldif.rr >>muldif/tmp-os_muldif.rr
1.1       takayama   15: if diff -B -b -q muldif/tmp-os_muldif.rr ${OX_MULDIF} >/dev/null ; then
                     16:   echo "there is no change in os_muldif.rr"
                     17: else
                     18:   mail -s 'os_muldif_is_updated_check_ox_current_doc_other_docs' takayama@math.kobe-u.ac.jp </dev/null
                     19: fi
1.2       takayama   20: if true ; then
1.3       takayama   21: (cd muldif ; curl http://www.ms.u-tokyo.ac.jp/~oshima/muldif/changelog.pdf >changelog.pdf)
1.2       takayama   22: fi
                     23:
1.1       takayama   24:
                     25:
                     26:
                     27: