[Ipe-discuss] ipeextract

[Olivier Devillers]

Thanks


#!/bin/bash


for i in *.pdf; do ipeextract $i; done
for i in *.xml; do ipe6upgrade $i; done
mkdir ipe5
mv *pdf *xml ipe5
for i in *.ipe; do ipetoipe -pdf $i; done
rm *.ipe