annotate client/digitallibrary/jquery/img/make_icon.cmd @ 693:dbd7c7aa575f
jquery
cookie names should not contain equal signs
author |
hertzhaft |
date |
Thu, 27 Jan 2011 18:50:55 +0100 |
parents |
b21606c8db09 |
children |
|
rev |
line source |
685
|
1 @echo off
|
|
2 setlocal
|
|
3
|
|
4 rem saxon embedded.svg embedded_icons.xsl
|
|
5
|
|
6 set ink=C:\prog_mr\inkscape-0.48.1\inkscape.exe
|
|
7
|
|
8 %ink% embedded\svg\%1.svg --export-png=embedded\16\%1.png -w16 -h16
|
|
9 %ink% embedded\svg\%1.svg --export-png=embedded\32\%1.png -w32 -h32
|
|
10
|
|
11 endlocal |