#!/bin/bash
name=$1
gs \
  -sDEVICE=pdfwrite \
  -sProcessColorModel=DeviceCMYK \
  -sColorImageResolution=1200 \
  -sColorImageFilter=/FlatEncode \
  -dOverrideICC \
  -o "$name-flattened.pdf" \
  "$name"