blob: d03381e769fa4241d98fa640e0e928efc09e6c7e [file] [log] [blame]
rscc42a1d32006-02-21 18:37:05 +00001.de HTML
2\! \<?xml version="1.0" encoding="utf-8"?\>
3\! \<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
4\! "http://www.w3.org/TR/html4/loose.dtd"\>
5.html html <html>
6.html head <head>
7.if !'\\$1'' .html title <title>\\$1</title>
8.HEAD
9.html head
10.html body <body>
11..
12.de FSFIRST
13.de NOTES xx
14._NOTES
15.rm _NOTES
16xx
17.em NOTES
18.da _NOTES
19.sp
20.B "Notes
21.sp
22.da
23..
24.de FS
25.FSFIRST
26.rm FSFIRST
27.da _NOTES
28..
29.de FE
30.sp
31.da
32..
33.nr png -1 1
34.de TS
35.ds pngbase "\\*[basename]
36.if '\\*[pngbase]'' .ds pngbase \\n(.B
37.ds pngfile \\*[pngbase]\\n+[png].png
38.html - <center><img src="\\*[pngfile]"></center>
39.\" The .inputpipe must be the last line of the macro!
40.inputpipe .TE troff2png >\\*[pngfile]
41..
42.de TE
43..
44.de PS
45.ds pngbase "\\*[basename]
46.if '\\*[pngbase]'' .ds pngbase \\n(.B
47.ds pngfile \\*[pngbase]\\n+[png].png
48.html - <center><img src="\\*[pngfile]"></center>
49.inputpipe .PE troff2png >\\*[pngfile]
50..
51.de PE
52..
53.de B1
54.margin 0
55.nr TW 10
56.nr TW1 80
57.if !'\\$1'' .nr TW \\$1
58.if !'\\$2'' .nr TW1 \\$2
59.html box \
60<center>\
61<table width=\\n[TW1]% cellspacing=0 cellpadding=0 border=0>\
62<tr height=1>\
63 <td width=1 bgcolor=#000000 />\
64 <td width=\\n(TW bgcolor=#000000 />\
65 <td bgcolor=#000000 />\
66 <td width=\\n(TW bgcolor=#000000 />\
67 <td width=1 bgcolor=#000000 />\
68</tr>\
69<tr height=\\n(TW>\
70 <td width=1 bgcolor=#000000 />\
71 <td width=\\n(TW />\
72 <td />\
73 <td width=\\n(TW />\
74 <td width=1 bgcolor=#000000 />\
75</tr>
76.html box0 <tr>
77.html box1 <td width=1 bgcolor=#000000 /><td width=\\n(TW /><td>
78..
79.de B2
80.html box1 <td width=\\n(TW /><td width=1 bgcolor=#000000 />
81.html box0 <tr height=\\n(TW><td width=1 bgcolor=#000000 />\
82 <td width=\\n(TW /><td /><td width=\\n(TW />\
83 <td width=1 bgcolor=#000000 />\
84</tr>\
85<tr height=1>\
86 <td width=1 bgcolor=#000000 />\
87 <td width=\\n(TW bgcolor=#000000 />\
88 <td bgcolor=#000000 />\
89 <td width=\\n(TW bgcolor=#000000 />\
90 <td width=1 bgcolor=#000000 />\
91</tr>
92.html box
93.margin 1
94..