=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/src/os_muldif-get.sh,v retrieving revision 1.5 retrieving revision 1.6 diff -u -p -r1.5 -r1.6 --- OpenXM/doc/OpenXM-web/src/os_muldif-get.sh 2022/08/22 23:52:46 1.5 +++ OpenXM/doc/OpenXM-web/src/os_muldif-get.sh 2022/08/24 06:29:22 1.6 @@ -1,15 +1,15 @@ #!/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/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) -(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_muldif.rr >os_muldif.rr) +(cd muldif ; curl https://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.dvi >os_muldif.dvi) +(cd muldif ; curl https://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 @@ -19,7 +19,7 @@ else mail -s 'os_muldif_is_updated_check_ox_current_doc_other_docs' takayama@math.kobe-u.ac.jp changelog.pdf) +(cd muldif ; curl https://www.ms.u-tokyo.ac.jp/~oshima/muldif/changelog.pdf >changelog.pdf) fi