Re: "man" command made easy?
D-Man <dsh8290@rit.edu> writes:
> [I haven't been following most of this thread, but]
>
> On Mon, Jul 16, 2001 at 10:59:23AM -0700, Paul Mackinney wrote:
> | Night before last I ran 'find /usr/doc -name "index.html" >foo.txt' and
> | then spent 2 hours adding links from foo.txt to my local home/start
>
> 2 hours!? Wow. Learn vi(m) or some other advanced editor.
Even vi is an overkill here, let alone an advanced editor:-)
#!/bin/sh
# as /usr/doc contains lots of symlinks to /usr/share/doc, adding
# -follow to find args may be useful.
{ echo '<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"'
echo '"http://www.w3.org/TR/html40/strict.dtd";>';
echo '<html><head><title>Documentation Links</title></head><body>';
find /usr/doc -name index.html \
-printf '<href="file:%p">%P</a><br>\n';
echo '</body></html>'; } > links.html
--
Leonard Stiles <ljs@uk2.net>
Reply to: