[singular] 01/02: use /bin/sed in doc/Makefile.in

[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 1f1318afbf5bdc6f2befb4c63841a8c690267e6d
Author: Felix Salfelder <felix at salfelder.org>
Date:   Sun May 25 13:02:55 2014 +0200

    use /bin/sed in doc/Makefile.in
---
 doc/Makefile.in | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/doc/Makefile.in b/doc/Makefile.in
index f3ea4cf..2da78d0 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -45,6 +45,7 @@ GZIP            = @MYGZIP@
 UUDECODE        = @UUDECODE@
 
 PERL            = @PERL@
+SED             = /bin/sed
 TEX             = tex
 MAKEINFO        = @MAKEINFO@ --force
 TEXI2PDF        = @TEXI2PDF@
@@ -168,10 +169,10 @@ usercard.dvi: usercard.tex singcard.tex
 	${TEX} $<
 
 s-plural.tex: plural.tex
-	sed -e "s/BR_PLURAL_BR/(plural)/g" <plural.tex >s-plural.tex
+	$(SED) -e "s/BR_PLURAL_BR/(plural)/g" <plural.tex >s-plural.tex
 
 s-plulibs.tex: plulibs.tex
-	sed -e "s/BR_PLURAL_BR/(plural)/g" <plulibs.tex >s-plulibs.tex
+	$(SED) -e "s/BR_PLURAL_BR/(plural)/g" <plulibs.tex >s-plulibs.tex
 
 # postscript stuff
 ps: dvi manual.ps usercard.ps

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