Log Message:
clisp: make PS file generation dependent on the "doc" option.

It turns out disabling docs also disables generating the ps files.
Found while dealing with pullup ticket #5993 by he@.