INSTDIR="$INSTALL_ROOT/usr/lib"
DOCDIR="$INSTALL_ROOT/usr/share/doc/cobra-$VERSION"

# FIXME: Do the installation manually, it's a mess
mkdir -p "$DOCDIR" &&
cd "$SOURCE_DIRECTORY/Source" &&
echo "$INSTDIR" > install-directory.text &&
bin/install-from-workspace &&
cp -r ../*.text ../Developer "$DOCDIR" &&
# Fix up the rest of the documentation
for i in HowTo Reusables Samples Supplements; do
  mv "$INSTDIR/Cobra-$VERSION/$i" "$DOCDIR"
done &&
# Move the wrapper
mv "$INSTDIR/bin/cobra" "$INSTALL_ROOT/usr/bin" &&
rmdir "$INSTDIR/bin"

.