Lines Matching refs:HTML
45 HTML='<?xml version="1.0"?>
149 # CSS for the HTML version of the man pages.
570 # Make a piece of source code safe for display in an HTML <pre> block.
652 # processes the diff output to present the files as an HTML document with
654 # takes a delta comment, rendered as an HTML snippet, as the third
656 # file, the path, and the comment. The HTML will be delivered on stdout,
681 # another awk script that generates HTML, e.g the above lines would turn
694 # HTML that corresponds to the source file.
696 # The two HTML files are then combined into a single piece of HTML that
697 # uses an HTML table construct to present the files side by side. You'll
718 # Now we have the diffs, generate the HTML for the old file.
800 # Now generate the HTML for the new file
882 # Post-process the HTML files by running them back through $AWK
889 # Now combine into a valid HTML file and side-by-side into a table
891 print "$HTML<head>$STDHEAD"
918 # We use insert_anchors() to augment those with HTML navigation anchors,
940 print "$HTML<head>$STDHEAD" > $WDIR/$DIR/$TNAME.lhs.html
1325 print "$HTML<head>$STDHEAD"
1423 # Processes the output of diff to produce an HTML file representing either
1433 print "$HTML<head>$STDHEAD"
1476 # Process a plain vanilla source file to transform it into an HTML file.
1483 print "$HTML<head>$STDHEAD"
1496 # HTML; if the latter, embedded bugids (sequence of 5 or more digits)
2732 # First pass through the files: generate the per-file webrev HTML-files.
3019 print "$HTML<head>$STDHEAD"
3032 # available, use that, but be careful to properly escape angle brackets (HTML
3245 print "<a href=\"$manhtml_url\">HTML</a>"