Dear ghostscript user,

I am trying to write a man page for dumphint. 

It seems that dumphint does not work or does not work as expected
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=310203

For instance 

dumphint some.pdf
Error: /undefinedfilename in (/usr/bin/dumphint.ps)
Operand stack:

Execution stack:
   %interp_exit   .runexec2   --nostringval--   --nostringval--   --nostringval--   2   %stopped_push   --nostringval--   --nostringval--   --nostringval--   false   1   %stopped_push
Dictionary stack:
   --dict:1163/1684(ro)(G)--   --dict:0/20(G)--   --dict:78/200(L)--
Current allocation mode is local
Last OS error: 2
GPL Ghostscript 9.05: Unrecoverable error, exit code 1

Now we revert the two argument from the script:

gs -q -dNODISPLAY -dSAFER -dDELAYSAFER -- /home/bastien/mixer-gilbert.pdf "dumphint.ps"
bastien@bastien-debian:/tmp/ghostscript-9.05~dfsg$ echo $?

But it does not print anything.

Care to remove or to fix ?

Bastien