I saw the accepted answer to this question: Script (or some other means) to convert RGB to CMYK in PDF?
...and it mentioned the ICC profile capability of GhostScript 9, and the ability of GhostScript to re-distill a PDF without "re-frying".
This sounds like it might be the solution I've been looking for in my quest to find a way of processing a PDF file to replace a single RGB colour with a specific CMYK value.
Note: I don't want to perform an automated mapping of colours - I want to control which colours get mapped to which other colours (there are only a few colours used).
Trouble is, I know zilch about ICC profiles, and the GhostScript site doesn't actually seem to have any tutorials or information other than details of the command line options.
So: would this ICC profile capability let me define specific RGB colours to be replaced, with specific CMYK relplacements? If so, how do you go about that? Any tutorials out there?