make interactive docbuild work.

Makes non-interactive build work The build is failing in non-interactive
mode because it tries to launch singular, which does things which work
only in a tty.

extracted from
http://pkg.fedoraproject.org/cgit/Singular.git/tree/Singular-doc.patch

Forwarded: not-needed