Changeset 4220 for trunk/scripts/cplgtdirs.sh
- Timestamp:
- 04/24/08 12:26:10 (6 months ago)
- Files:
-
- 1 modified
-
trunk/scripts/cplgtdirs.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/scripts/cplgtdirs.sh
r4102 r4220 94 94 ln -sf "$LOGTALKHOME"/xml/lgt2pdf.sh "$LOGTALKUSER"/xml/lgt2pdf 95 95 ln -sf "$LOGTALKHOME"/xml/lgt2xml.sh "$LOGTALKUSER"/xml/lgt2xml 96 ln -sf "$LOGTALKHOME"/xml/lgt2txt.sh "$LOGTALKUSER"/xml/lgt2txt 96 97 ln -sf "$LOGTALKHOME"/xml/logtalk.dtd "$LOGTALKUSER"/xml/logtalk.dtd 97 98 ln -sf "$LOGTALKHOME"/xml/logtalk.rng "$LOGTALKUSER"/xml/logtalk.rng
