src/Resources/ribbon/createribbonimglist.bat

   1 @echo off\r
   2 \r
   3 pushd %~dp0\r
   4 \r
   5 ..\tools\convert.exe -resize 32x32 @ribbonimagelist.txt +append ribbonlarge.png\r
   6 ..\tools\convert.exe -resize 16x16 @ribbonimagelist.txt +append ribbonsmall.png\r
   7 ..\tools\convert.exe -resize 48x48 @ribbonimagelist.txt +append ribbonlargehdpi.png\r
   8 ..\tools\convert.exe -resize 24x24 @ribbonimagelist.txt +append ribbonsmallhdpi.png\r
   9 \r
  10 if exist ..\*.aps del ..\*.aps\r
  11 \r
  12 popd\r
  13 \r
  14 pause\r