diff options
Diffstat (limited to 'org.eclipse.ui.editors/scripts')
| -rw-r--r-- | org.eclipse.ui.editors/scripts/exportplugin.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.ui.editors/scripts/exportplugin.xml b/org.eclipse.ui.editors/scripts/exportplugin.xml index 6abb4e451d2..4448589d992 100644 --- a/org.eclipse.ui.editors/scripts/exportplugin.xml +++ b/org.eclipse.ui.editors/scripts/exportplugin.xml @@ -21,6 +21,9 @@ /> <copy file="plugin.xml" todir="${dest}"/> <copy file="plugin.properties" todir="${dest}"/> + <copy todir= "${dest}/icons"> + <fileset dir="icons"/> + </copy> <zip zipfile="${dest}/editorssrc.zip"> <fileset dir="src" /> </zip> |