[singular] 04/06: make interactive docbuild work.

[felix salfelder]

This is an automated email from the git hooks/post-receive script.

felix-guest pushed a commit to branch master
in repository singular.

commit d9999915cc17cedcada09e95422ced7b717fcc66
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Mon May 26 09:45:31 2014 +0200

    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
---
 doc/Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 4598a5e..a92a7d7 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -71,7 +71,7 @@ EX_SUBDIR       = ./examples
 CHKSUM_DB       = ${DOC_SUBDIR}/chksum
 DOC2TEX_EXAMPLE_EXCLUSIONS = @DOC2TEX_EXAMPLE_EXCLUSIONS@
 DOC2TEX         = ${PERL} ./doc2tex.pl -docdir ${DOC_SUBDIR} \
-                  -Singular ${SINGULAR} -verbose ${VERBOSE} -make ${MAKE} \
+                  -Singular /bin/true -verbose ${VERBOSE} -make ${MAKE} \
 		  -exdir ${EX_SUBDIR} ${DOC2TEX_EXAMPLE_EXCLUSIONS}
 TAG		=
 PL2DOC		= ${PERL} ./pl2doc.pl ${TAG} -db ${CHKSUM_DB}

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/singular.git