I need a program for Linux which can scale pdf files to a specified size, stretching them if needed. I would prefer a command line program, but something with a gui is ok too.
I found a lot of programs to scale the pdf, but they all scale proportionally, and then just add a white border. But I need something which will stretch the pdf file, so it has the exact needed size without white border.
I know stretching may make the pdf look odd, but I have some pdf files which just need to be a 1.5 mm higher, so it is less then 1% I need to stretch them, so I still think it will look ok.