chg: [tools] convert.sh adds support for PDF output

tools/convert.sh

@@ -5,9 +5,13 @@ createsvg() {
   local svg
   for d in ../ai/*.ai; do
     svg=$(echo "$d" | sed 's/.ai/.svg/')
+    pdf=$(echo "$d" | sed 's/.ai/.pdf/')
     output=$(echo "$svg" | sed 's/...//' | sed 's/\.ai/.svg/')
+    output_pdf=$(echo "$pdf" | sed 's/...//' | sed 's/\.ai/.pdf/')
     echo "Convert AI to SVG $output ..."
     inkscape --export-text-to-path -f "$d" -l "../$output"
+    echo "Convert AI to PDF $output_pdf ..."
+    inkscape --export-text-to-path -f "$d" -A "../$output_pdf"
   done
 }