Scusate, ma credo si possa fare anche in un altro banalissimo modo:
cambio il nome della/e cartella/e contenente le immagini
lancio una compilazione (pdf)latex
leggo il file di log con le segnalazioni dei file mancanti
cancello la selezione inversa
riporto i nomi delle cartelle a quelli originali.Funziona?
funziona sicuramente.
ma quando hai 100 immagini magari vorresti un po’ automatizzare la procedura.
qua di sotto lo scriptino che copia solo le immagini che servono nella cartella NewFigures`#! /bin/bash
TEXFILENAME=main #no extension!
for file in $(awk '/^File: .* Graphic file .*/ { print $2 }' $TEXFILENAME.log); do
mkdir -p NewFigures/$(dirname $file)
cp $file NewFigures/$file
done`basta sistemare la variabile TEXFILENAME al nome del file .tex (e magari cambiare NewFigures se si vuole). Attenzione alle sovrascritture!
Certo, ma se non hai bash?
mentre facilmente si può installare perl o lua e scrivere in uno di questi linguaggi uno script che elabori il file di log di pdftex.
la bash è forte ma forse esiste uno scripting più evoluto.
bye