#!/bin/bash

  file="$1"
  tempfile="$file.edited.$$"

  sed -e '
  /^%%DocumentMedia:/d
  /^%%HiResBoundingBox:/d
  /^%%PageBoundingBox:/d
  /^%%BoundingBox:/d
  /^%%DocumentSuppliedResources: font/s/DocumentSuppliedResources/DocumentNeededResources/
  /^%%BeginFont:/,/^%%EndFont/{
  s/%%BeginFont: /%%IncludeResource: font /p
  d
  }
  /^\/init-paper {/,/} bind def/c\
/init-paper {\
  pop\
  /paper-height 842 def\
} bind def
  s/gsave set-ps-scale-to-lily-scale/gsave 0 paper-height translate set-ps-scale-to-lily-scale/
  / \/space$/{
  N
  /\n1 print_glyphs/d
  }
  ' <"$file" >"$tempfile"

  BBOX=`gs -q -dBATCH -dNOPAUSE -sDEVICE=bbox "$tempfile" 2>&1 | grep '%%BoundingBox:'`
  echo "  --> $BBOX"

  sed -e "
  /^%%EndComments/{
  i\
$BBOX
  :n
  n
  b n
  }
  " <"$tempfile" >"$file"

  rm "$tempfile"