Advice to embed fonts on generated PDFs

diff --git a/bin/bin/ps2pdf.sh b/bin/bin/ps2pdf.sh
index c06c8808a576ad58f011ce240c4e9598157384fe..b892bebc16244973fc4fdba7745050024f7ad3ce 100755 (executable)
--- a/bin/bin/ps2pdf.sh
+++ b/bin/bin/ps2pdf.sh
@@ -10,4 +10,5 @@ gs \
     -dAutoFilterGrayImages=false -dGrayImageFilter=/FlateEncode \
     -dMonoImageFilter=/FlateEncode \
     -dOptimize=true \
     -dAutoFilterGrayImages=false -dGrayImageFilter=/FlateEncode \
     -dMonoImageFilter=/FlateEncode \
     -dOptimize=true \

+    -dEmbedAllFonts=true \

     -sOutputFile="$1".pdf "$1"
     -sOutputFile="$1".pdf "$1"