On 12/1/06, KURT PETERS <[EMAIL PROTECTED]> wrote:
It doesn't appear to have a man page.
It does (this with a converted rpm file, from the 1.2.3 version of the rpm): $ dpkg -L tinyos-tools ... /usr/share/man/man1/mig.1.gz /usr/share/man/man1/motelist.1.gz /usr/share/man/man1/ncc.1.gz /usr/share/man/man1/ncg.1.gz /usr/share/man/man1/nesdoc.1.gz /usr/share/man/man1/tos-bsl.1.gz /usr/share/man/man1/tos-channelgen.1.gz /usr/share/man/man1/tos-check-env.1.gz /usr/share/man/man1/tos-ident-flags.1.gz /usr/share/man/man1/tos-install-jni.1.gz /usr/share/man/man1/tos-locate-jre.1.gz /usr/share/man/man1/tos-mote-key.1.gz /usr/share/man/man1/tos-mviz.1.gz /usr/share/man/man1/tos-serial-configure.1.gz /usr/share/man/man1/tos-serial-debug.1.gz /usr/share/man/man1/tos-set-symbols.1.gz /usr/share/man/man1/tos-storage-at45db.1.gz /usr/share/man/man1/tos-storage-stm25p.1.gz /usr/share/man/man1/tos-write-image.1.gz /usr/share/man/man1/uisp.1.gz ... Maybe your man search path doesn't include /usr/share/man? Or you're using an old version of the tinyos tools (can't remember offhand exactly when the man page got written). David Gay _______________________________________________ Tinyos-help mailing list [email protected] https://mail.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
