tags 447708 = wontfix
stop
Hi,
On Tue, Oct 23, 2007, Soeren Sonnenburg wrote:
> basically this script could be enough
>
> #!/bin/sh
> pdftops "$1" - | ps2eps - >"`basename \"$1\" .pdf`.eps"
Here's a slightly enhanced version:
#!/bin/sh
set -e
if [ $# != 1 ]; then
echo "Usage: $(basename "$0") <file.pdf>" >&2
exit 1
fi
pdf="$1"
pdftops "$pdf" - | ps2eps - >"$(basename "$pdf" .pdf).eps"
However, this requires a dependency on ps2eps which I'm not too hot to
add. I find it's a bit much to add a dependency for trivial
functionality like this, so I'm removing the patch tag and wontfixing
the bug; it stays open as documentation for people interested in the
script.
If you see a good way to avoid the inconvenience or a reason it's not
a big deal to add the dep, let the bug know.
Thanks for the idea,
--
Loïc Minier
