Changeset 17638

Show
Ignore:
Timestamp:
30.10.2008 12:30:30 (11 years ago)
Author:
oranfry
Message:

overinstalls now delete the old startmenu group and install the new one instead of refreshing the old one

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • release-kits/wirk2/installer/build.xml

    r17583 r17638  
    3131    <target name="Looking For Previous Installation" if="is.overinstall"> 
    3232        <property file="${installDir}\etc\installation.properties"/> 
     33        <delete dir="${installed.startmenu.path}" failonerror="false"/> 
    3334    </target> 
    3435 
     
    3738        <!-- figure out the start menu path (if not already set from previous installation) --> 
    3839        <getfreepath path="${win32.personal.programs_menu}\Greenstone-@version@" property="startmenu.path"/>         
    39          
     40        <path id="startmenu.path.path" path="${startmenu.path}"/> 
     41        <pathconvert targetos="unix" property="startmenu.path.unix" refid="startmenu.path.path"/> 
     42 
    4043        <echo>basedir: ${basedir}</echo> 
    4144        <echo>installDir: ${installDir}</echo> 
     
    98101                 
    99102        <echo message="Creating installation properties file"/> 
    100         <echo file="${installDir}\etc\installation.properties">startmenu.path:${startmenu.path}</echo> 
     103        <echo file="${installDir}\etc\installation.properties">installed.startmenu.path:${startmenu.path.unix}</echo> 
    101104         
    102105        <echo message="Finished"/>