D-Man <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED]>

Reply via email to