annotate client/digitallibrary/jquery/img/make_icon.cmd @ 725:936d88972cd0 jquery

put styles in stylesheet. use relative positioning in embedded mode.
author robcast
date Mon, 31 Jan 2011 17:44:20 +0100
parents ab8054bba8d3
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
692
ab8054bba8d3 console debug div for IE
hertzhaft
parents:
diff changeset
1 @echo off
ab8054bba8d3 console debug div for IE
hertzhaft
parents:
diff changeset
2 setlocal
ab8054bba8d3 console debug div for IE
hertzhaft
parents:
diff changeset
3
ab8054bba8d3 console debug div for IE
hertzhaft
parents:
diff changeset
4 rem saxon embedded.svg embedded_icons.xsl
ab8054bba8d3 console debug div for IE
hertzhaft
parents:
diff changeset
5
ab8054bba8d3 console debug div for IE
hertzhaft
parents:
diff changeset
6 set ink=C:\prog_mr\inkscape-0.48.1\inkscape.exe
ab8054bba8d3 console debug div for IE
hertzhaft
parents:
diff changeset
7
ab8054bba8d3 console debug div for IE
hertzhaft
parents:
diff changeset
8 %ink% embedded\svg\%1.svg --export-png=embedded\16\%1.png -w16 -h16
ab8054bba8d3 console debug div for IE
hertzhaft
parents:
diff changeset
9 %ink% embedded\svg\%1.svg --export-png=embedded\32\%1.png -w32 -h32
ab8054bba8d3 console debug div for IE
hertzhaft
parents:
diff changeset
10
ab8054bba8d3 console debug div for IE
hertzhaft
parents:
diff changeset
11 endlocal