annotate client/digitallibrary/jquery/img/embedded_icons.cmd @ 810:5de6c7a73855 stream

Alternative versions of Scaler without async and without threads. Should still work with Servlet API 2.3 (i.e. Tomcat < 7, Jetty < 8).
author robcast
date Sun, 20 Feb 2011 19:34:05 +0100
parents 2294e91613e6
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
666
2294e91613e6 added small buttons image files
hertzhaft
parents:
diff changeset
1 rem @echo off
2294e91613e6 added small buttons image files
hertzhaft
parents:
diff changeset
2 setlocal
2294e91613e6 added small buttons image files
hertzhaft
parents:
diff changeset
3
2294e91613e6 added small buttons image files
hertzhaft
parents:
diff changeset
4 rem saxon embedded.svg embedded_icons.xsl
2294e91613e6 added small buttons image files
hertzhaft
parents:
diff changeset
5
2294e91613e6 added small buttons image files
hertzhaft
parents:
diff changeset
6 set ink=C:\prog_mr\inkscape-0.48.1\inkscape.exe
2294e91613e6 added small buttons image files
hertzhaft
parents:
diff changeset
7
2294e91613e6 added small buttons image files
hertzhaft
parents:
diff changeset
8 for %%f in (embedded\svg\*.svg) do (
2294e91613e6 added small buttons image files
hertzhaft
parents:
diff changeset
9 echo %%~nf
2294e91613e6 added small buttons image files
hertzhaft
parents:
diff changeset
10 %ink% %%f --export-png=embedded\16\%%~nf.png -w16 -h16
2294e91613e6 added small buttons image files
hertzhaft
parents:
diff changeset
11 %ink% %%f --export-png=embedded\32\%%~nf.png -w32 -h32
2294e91613e6 added small buttons image files
hertzhaft
parents:
diff changeset
12 )
2294e91613e6 added small buttons image files
hertzhaft
parents:
diff changeset
13
2294e91613e6 added small buttons image files
hertzhaft
parents:
diff changeset
14 endlocal