1 --- logtalk-3.03.0.orig/scripts/logtalk_user_setup.sh 2016-02-16 22:09:02.000000000 +0100
2 +++ logtalk-3.03.0/scripts/logtalk_user_setup.sh 2016-02-20 09:49:34.000000000 +0100
5 echo "Copying Logtalk files and directories..."
6 mkdir -p "$LOGTALKUSER"/contributions
7 -mkdir -p "$LOGTALKUSER"/docs
8 mkdir -p "$LOGTALKUSER"/examples
9 mkdir -p "$LOGTALKUSER"/library
10 mkdir -p "$LOGTALKUSER"/scratch
11 mkdir -p "$LOGTALKUSER"/tests
12 mkdir -p "$LOGTALKUSER"/tools
13 cp -RL "$LOGTALKHOME"/contributions "$LOGTALKUSER"/
14 -cp -RL "$LOGTALKHOME"/docs "$LOGTALKUSER"/
15 cp -RL "$LOGTALKHOME"/examples "$LOGTALKUSER"/
16 cp -RL "$LOGTALKHOME"/library "$LOGTALKUSER"/
17 cp -RL "$LOGTALKHOME"/scratch "$LOGTALKUSER"/
19 rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2*
20 rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.dtd
21 rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.xsd
22 -ln -sf "$LOGTALKHOME"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib
23 -ln -sf "$LOGTALKHOME"/CUSTOMIZE.md "$LOGTALKUSER"/CUSTOMIZE.md
24 -ln -sf "$LOGTALKHOME"/INSTALL.md "$LOGTALKUSER"/INSTALL.md
25 -ln -sf "$LOGTALKHOME"/LICENSE.txt "$LOGTALKUSER"/LICENSE.txt
26 -ln -sf "$LOGTALKHOME"/QUICK_START.md "$LOGTALKUSER"/QUICK_START.md
27 -ln -sf "$LOGTALKHOME"/README.md "$LOGTALKUSER"/README.md
28 -ln -sf "$LOGTALKHOME"/RELEASE_NOTES.md "$LOGTALKUSER"/RELEASE_NOTES.md
29 -ln -sf "$LOGTALKHOME"/UPGRADING.md "$LOGTALKUSER"/UPGRADING.md
30 ln -sf "$LOGTALKHOME"/adapters "$LOGTALKUSER"/adapters
31 -ln -sf "$LOGTALKHOME"/manuals "$LOGTALKUSER"/manuals
32 ln -sf "$LOGTALKHOME"/paths "$LOGTALKUSER"/paths
33 ln -sf "$LOGTALKHOME"/coding "$LOGTALKUSER"/coding
34 ln -sf "$LOGTALKHOME"/tools/lgtdoc/xml/lgt2html.sh "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2html