Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
[...]
| | --tangle)
| | do_tangle=yes
| | - if test -n $arg; then
| | + if test -n "$arg"; then
| | chunk=$arg
|
| Without proper quotes, I think this would lead to garbage again (at
| least that was my experience some time ago).
Waldek --
This patchlet works for me. Could you test it?
*** document.in (revision 15247)
--- document.in (local)
*************** while test $# -gt 0 ; do
*** 129,136 ****
--tangle)
do_tangle=yes
! if test -n $arg; then
! chunk=$arg
fi
# --tangle may not be combined with any other
# options. FIXME: Check that.
--- 129,136 ----
--tangle)
do_tangle=yes
! if test -n "$arg"; then
! chunk=`echo -n $arg`
fi
# --tangle may not be combined with any other
# options. FIXME: Check that.
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
