#!/bin/sh echo "<html> <head> <title>$1</title> </head> <body> <h1>$1</h1>" <pre>" sed ' s/&/\&/g s/</\</g s/>/\>/g s,^\([ \t]*#[ \t]*include[ \t][ \t]*<\)\(.*\)>,\1<a href="file://localhost/usr/include/\2">\2</a>\>, ' < "$1" echo "</pre> <hr> <!-- extra footer stuff --> </body></html> "
bsy@cse.ucsd.edu, last updated