greenstone.org greenstone wiki greenstone trac planet greenstone

Changeset 16245

Show
Ignore:
Timestamp:
2008-06-27 17:31:55 (2 months ago)
Author:
oranfry
Message:

change from gs3.ico -> icon.ico and set date

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • release-kits/wirk3/ant-scripts/build.xml

    r16198 r16245  
    1010 
    1111        <!-- CONSTANTS --> 
    12          
     12 
    1313        <!-- the size of the resourse chunks to be put in the wrapped installer --> 
    1414        <property name="resources.chunksize" value="8388608"/><!-- 8MiB --> 
     
    1717        <property name="bundled.version.tomcat" value="5.5.25"/> 
    1818        <property name="bundled.version.ant" value="1.6.5"/> 
     19 
     20        <!-- set date !AD HOC, CHANGE SOON --> 
     21        <property name="current.month" value="Jun"/> 
     22        <property name="current.year" value="2008"/> 
    1923 
    2024        <!-- for the benefit of the shared scripts, set release-kit home --> 
  • release-kits/wirk3/ant-scripts/wrap.xml

    r16198 r16245  
    4444                                        <not> 
    4545                                                <uptodate targetfile="${basedir}/wrapped-installer/build/wrapper.RES"> 
    46                                                         <srcfiles dir="${wirk3.home}/greenstone3/icon" includes="gs3.ico"/> 
     46                                                        <srcfiles dir="${wirk3.home}/greenstone3/icon" includes="icon.ico"/> 
    4747                                                        <srcfiles dir="${wirk3.home}/windows/wrapper" includes="${windows-java.installer}"/> 
    4848                                                        <srcfiles dir="${wirk3.home}/windows/wrapper" includes="*.bmp"/> 
     
    6363                                        <fileset dir="${wirk3.home}/windows/wrapper" includes="*.bmp"/> 
    6464                                        <fileset dir="${wirk3.home}/greenstone3/wrapper" includes="*.bmp"/> 
    65                                         <fileset dir="${wirk3.home}/greenstone3/icon" includes="gs3.ico"/> 
     65                                        <fileset dir="${wirk3.home}/greenstone3/icon" includes="icon.ico"/> 
    6666                                </copy> 
    6767