SVGHMI: Add list of HMI tree path in a JS array, so that we can use it for multiple purpose :
- display name of edited variable in keypads (currently wrong in relative pages)
- have some variable that hold basename of current relative page HMI_NODE's path
- propose some list of names in DropDown when selecting a relative page to jump to, without having to instancite many jump widgets.

     1

#!/bin/bash

     2

     3

INKSCAPE=inkscape

     4

     5

for i in `cat icons.svg |grep -o -e '%%[^%]*%%'|sed 's/%//g'` 

     6

do

     7

 if [ $i.png -nt icons.svg ]; then

     8

 	echo "Skip $i"

     9

 else

    10

	rm  -f $i.png

    11

	echo "$INKSCAPE" icons.svg -z -e $i.png -i $i

    12

	"$INKSCAPE" icons.svg -z -e $i.png -i $i

    13

 fi

    14

done

    15