PATCH doc/refcard.tex

[Eli Zaretskii]

> From: Adam Mirowski <mir@sunchorus.France.Sun.COM>
> Date: Tue, 26 Dec 2000 11:41:10 +0-100
> >
> >This works for me with Bash.  Hmm.  Does it work if you replace
> >"$(REFEDITS)" with $$REFEDITS ?  (You might need to "export REFEDITS"
> >somewhere in the Makefile.)
> 
> There are no quotes around the refedits variable, that
> is the problem.

Does it work in /bin/sh if you add an extra pair of quotes?  If that
helps, I will commit the change.