I want to include grace (.agr) graphics. I want to export to pdf. The default setup works, but grace is converted to png. I want to convert to pdf instead.
How do I convince lyx? I tried: \converter "agr" "pdf2" "gracebat -hardcopy -printfile $$o -hdevice PDF $$i 2>/dev/null" ""
