doc: update info cross reference to bash
commit63d456ce7710f9bc7629a47c8247270cbffd8134
authorPádraig Brady <P@draigBrady.com>
Fri, 26 Oct 2012 14:46:04 +0000 (26 15:46 +0100)
committerPádraig Brady <P@draigBrady.com>
Sat, 24 Nov 2012 15:45:41 +0000 (24 15:45 +0000)
tree5bdeedb4c4b2fb590c3d067ea0a8d9a6ac9c763a
parente83db8484ad92a68d39540a54ce0e022ee31f4ed
doc: update info cross reference to bash

* doc/coreutils.texi (tee invocation): Reference
the bash manual rather than bashref, as the latter
is more likely to work on newer systems.
doc/coreutils.texi