make docs

[Paul Gilbert]

How quickly I forget. Thanks everyone for reminding me about gnu make. I had to
switch back because

PADI_HOME:sh = if [ $PADI_HOME ] ; then echo $PADI_HOME; else echo $PWD ; fi

works to conditionally set a variable in Sun make but not in gnu. Does anyone
know how to do an equivalent thing in gnu make?

Paul


-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
r-devel mailing list -- Read http://www.ci.tuwien.ac.at/~hornik/R/R-FAQ.html
Send "info", "help", or "[un]subscribe"
(in the "body", not the subject !)  To: r-devel-request@stat.math.ethz.ch
_._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._