blob: 674c42371669f1ca65019c8cc41ca3555be3643d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
#!/bin/sh
# 20190614
cd `dirname $0`
if [ -e ../ketcindyfolder ]; then
cd ../ketcindyfolder
fi
echo Files will be copied from
echo " "`pwd`/work
changesetting=/.ketcindy.conf #181017
home=~
dist=${home}/ketcindy #180913
cp -r -p work/ ${dist}/
if [ $? -gt 0 ]; then
echo Error:$?
sleep 5
else
echo Workfolder has been generated as ${dist}
echo " "This folder can be moved to any place ##180913
fi
read -p 'Language (j/e) : ' lang
cd doc/ketmanual
if [ ${lang} = "e" ]; then
cp -p KeTCindyReferenceE.pdf ${dist}
cp -p KeTCindyGuideE.pdf ${dist}
cp -p KeTpicStyleE.pdf ${dist}
else
cp -p KeTCindyReferenceJ.pdf ${dist}
cp -p KeTCindyGuideJ.pdf ${dist}
cp -p KeTpicStyleJ.pdf ${dist}
fi
echo Generating ${home}/${changesetting}
echo // Re-setting PathT,PathR,Pathpdf,PathM,PathAd,Mackc >${home}${changesetting}
echo "// PathT=PathThead+\"platex\";" >>${home}${changesetting}
echo "// Pathpdf=\"skim\";" >> ${home}${changesetting}
pathM="/Applications/Maxima.app/Contents/Resources/maxima.sh"
pathMn="/Applications/Maxima.app/Contents/Resources/opt/bin/maxima"
echo "// PathM=\"${pathM}\";" >> ${home}${changesetting}
echo "// PathM=\"${pathMn}\";" >> ${home}${changesetting}
echo "// Mackc=\"open\";" >>${home}${changesetting}
sleep 1
exit 0
|