greenstone.org greenstone wiki greenstone trac planet greenstone

Changeset 17636

Show
Ignore:
Timestamp:
2008-10-30 12:29:09 (2 months ago)
Author:
oranfry
Message:

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

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • release-kits/wirk3/installer/build.xml

    r17610 r17636  
    2525        <property name="installDir.local" refid="installDir.path"/> 
    2626        <pathconvert targetos="unix" property="installDir.unix" refid="installDir.path"/> 
    27          
     27                
    2828        <!-- load windows properties --> 
    2929        <winprops/> 
    …… 
    3333 
    3434        <target name="Looking For Previous Installation" if="is.overinstall"> 
    35                 <property file="${installDir}\etc\installation.properties"/> 
     35                <property file="${installDir}\installation.properties"/> 
     36                <delete dir="${installed.startmenu.path}" failonerror="false"/> 
    3637        </target> 
    3738         
    …… 
    4041                <!-- figure out the start menu path (if not already set from previous installation) --> 
    4142                <getfreepath path="${win32.personal.programs_menu}\Greenstone-@version@" property="startmenu.path"/> 
    42                  
     43                <path id="startmenu.path.path" path="${startmenu.path}"/> 
     44                <pathconvert targetos="unix" property="startmenu.path.unix" refid="startmenu.path.path"/> 
     45                                 
    4346                <echo>basedir: ${basedir}</echo> 
    4447                <echo>installDir: ${installDir}</echo> 
    …… 
    106109                 
    107110                <echo message="Creating installation properties file"/> 
    108                 <echo file="${installDir}\installation.properties">startmenu.path:${startmenu.path}</echo> 
     111                <echo file="${installDir}\installation.properties">installed.startmenu.path:${startmenu.path.unix}</echo> 
    109112                 
    110113        </target>