On 12/1/06, KURT PETERS <[EMAIL PROTECTED]> wrote:
[EMAIL PROTECTED]:/usr/share/man/man1> ls /usr/share/man/man1/tos-*
/bin/ls: /usr/share/man/man1/tos-*: No such file or directory
[EMAIL PROTECTED]:/usr/share/man/man1> rpm -q tinyos-tools
tinyos-tools-1.2.3-1
[EMAIL PROTECTED]:/usr/share/man/man1> rpm -ql tinyos-tools
[...]
/usr/man/man1/tos-set-symbols.1.gz
[...]
Well it looks like it's /usr/man which isn't in your man path then,
no? As to why that's the case... (maybe SUSE doesn't include it?)
David Gay
_______________________________________________
Tinyos-help mailing list
[email protected]
https://mail.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
