tuned;
authorwenzelm
Wed Feb 14 23:43:55 2001 +0100 (2001-02-14)
changeset 11127e43723fff70c
parent 11126 b98336d6e834
child 11128 48c63b87566e
tuned;
lib/Tools/install
     1.1 --- a/lib/Tools/install	Wed Feb 14 23:42:45 2001 +0100
     1.2 +++ b/lib/Tools/install	Wed Feb 14 23:43:55 2001 +0100
     1.3 @@ -122,6 +122,7 @@
     1.4    else
     1.5      fail "Unknown KDE version \"$KDE\""
     1.6    fi
     1.7 +  mkdir -p "$KDEDESKTOP" || fail "Bad directory: $KDEDESKTOP"
     1.8  
     1.9    KDEICONS="$KDEHOME/share/icons"
    1.10    mkdir -p "$KDEICONS" || fail "Bad directory: $KDEICONS"