50 |
* |
* |
51 |
* Htags generates HTML tag by default. |
* Htags generates HTML tag by default. |
52 |
*/ |
*/ |
53 |
const char *html_begin = "<html>"; |
const char *html_begin = "<html>"; |
54 |
const char *html_end = "</html>"; |
const char *html_end = "</html>"; |
55 |
const char *html_head_begin = "<head>"; |
const char *html_head_begin = "<head>"; |
56 |
const char *html_head_end = "</head>"; |
const char *html_head_end = "</head>"; |
57 |
const char *html_title_begin = "<title>"; |
const char *html_title_begin = "<title>"; |
58 |
const char *html_title_end = "</title>"; |
const char *html_title_end = "</title>"; |
59 |
const char *body_begin = "<body>"; |
const char *body_begin = "<body>"; |
60 |
const char *body_end = "</body>"; |
const char *body_end = "</body>"; |
61 |
const char *title_begin = "<h1><font color='#cc0000'>"; |
const char *title_begin = "<h1><font color='#cc0000'>"; |
62 |
const char *title_end = "</font></h1>"; |
const char *title_end = "</font></h1>"; |
63 |
const char *header_begin = "<h2>"; |
const char *header_begin = "<h2>"; |
64 |
const char *header_end = "</h2>"; |
const char *header_end = "</h2>"; |
65 |
const char *cvslink_begin = "<font size='-1'>"; |
const char *cvslink_begin = "<font size='-1'>"; |
66 |
const char *cvslink_end = "</font>"; |
const char *cvslink_end = "</font>"; |
67 |
const char *caution_begin = "<center>\n<blockquote>"; |
const char *caution_begin = "<center>\n<blockquote>"; |
68 |
const char *caution_end = "</blockquote>\n</center>"; |
const char *caution_end = "</blockquote>\n</center>"; |
69 |
const char *list_begin = "<ol>"; |
const char *list_begin = "<ol>"; |
70 |
const char *list_end = "</ol>"; |
const char *list_end = "</ol>"; |
71 |
const char *item_begin = "<li>"; |
const char *item_begin = "<li>"; |
72 |
const char *item_end = ""; |
const char *item_end = ""; |
73 |
const char *define_list_begin = "<dl>"; |
const char *define_list_begin = "<dl>"; |
74 |
const char *define_list_end = "</dl>"; |
const char *define_list_end = "</dl>"; |
75 |
const char *define_term_begin = "<dt>"; |
const char *define_term_begin = "<dt>"; |
76 |
const char *define_term_end = ""; |
const char *define_term_end = ""; |
77 |
const char *define_desc_begin = "<dd>"; |
const char *define_desc_begin = "<dd>"; |
78 |
const char *define_desc_end = ""; |
const char *define_desc_end = ""; |
79 |
const char *table_begin = "<table>"; |
const char *table_begin = "<table>"; |
80 |
const char *table_end = "</table>"; |
const char *table_end = "</table>"; |
81 |
const char *comment_begin = "<i><font color='green'>"; |
const char *comment_begin = "<i><font color='green'>"; |
82 |
const char *comment_end = "</font></i>"; |
const char *comment_end = "</font></i>"; |
83 |
const char *sharp_begin = "<font color='darkred'>"; |
const char *sharp_begin = "<font color='darkred'>"; |
84 |
const char *sharp_end = "</font>"; |
const char *sharp_end = "</font>"; |
85 |
const char *brace_begin = "<font color='blue'>"; |
const char *brace_begin = "<font color='blue'>"; |
86 |
const char *brace_end = "</font>"; |
const char *brace_end = "</font>"; |
87 |
const char *verbatim_begin = "<pre>"; |
const char *verbatim_begin = "<pre>"; |
88 |
const char *verbatim_end = "</pre>"; |
const char *verbatim_end = "</pre>"; |
90 |
const char *reserved_end = "</b>"; |
const char *reserved_end = "</b>"; |
91 |
const char *position_begin = "<font color='gray'>"; |
const char *position_begin = "<font color='gray'>"; |
92 |
const char *position_end = "</font>"; |
const char *position_end = "</font>"; |
93 |
const char *warned_line_begin = "<span style='background-color:yellow'>"; |
const char *warned_line_begin = "<span style='background-color:yellow'>"; |
94 |
const char *warned_line_end = "</span>"; |
const char *warned_line_end = "</span>"; |
95 |
const char *error_begin = "<h1><font color='#cc0000'>"; |
const char *error_begin = "<h1><font color='#cc0000'>"; |
96 |
const char *error_end = "</font></h1>"; |
const char *error_end = "</font></h1>"; |
97 |
const char *message_begin = "<h3>"; |
const char *message_begin = "<h3>"; |
98 |
const char *message_end = "</h3>"; |
const char *message_end = "</h3>"; |
99 |
const char *string_begin = "<u>"; |
const char *string_begin = "<u>"; |
100 |
const char *string_end = "</u>"; |
const char *string_end = "</u>"; |
101 |
const char *quote_great = ">"; |
const char *quote_great = ">"; |
102 |
const char *quote_little = "<"; |
const char *quote_little = "<"; |
103 |
const char *quote_amp = "&"; |
const char *quote_amp = "&"; |
104 |
const char *quote_space = " "; |
const char *quote_space = " "; |
105 |
const char *hr = "<hr>"; |
const char *hr = "<hr>"; |
106 |
const char *br = "<br>"; |
const char *br = "<br>"; |
107 |
const char *empty_element = ""; |
const char *empty_element = ""; |
108 |
const char *noframes_begin = "<noframes>"; |
const char *noframes_begin = "<noframes>"; |
109 |
const char *noframes_end = "</noframes>"; |
const char *noframes_end = "</noframes>"; |
133 |
void |
void |
134 |
setup_xhtml(void) |
setup_xhtml(void) |
135 |
{ |
{ |
136 |
html_begin = "<html xmlns='http://www.w3.org/1999/xhtml'>"; |
html_begin = "<html xmlns='http://www.w3.org/1999/xhtml'>"; |
137 |
html_end = "</html>"; |
html_end = "</html>"; |
138 |
html_head_begin = "<head>"; |
html_head_begin = "<head>"; |
139 |
html_head_end = "</head>"; |
html_head_end = "</head>"; |
140 |
html_title_begin= "<title>"; |
html_title_begin = "<title>"; |
141 |
html_title_end = "</title>"; |
html_title_end = "</title>"; |
142 |
body_begin = "<body>"; |
body_begin = "<body>"; |
143 |
body_end = "</body>"; |
body_end = "</body>"; |
144 |
title_begin = "<h1 class='title'>"; |
title_begin = "<h1 class='title'>"; |
145 |
title_end = "</h1>"; |
title_end = "</h1>"; |
146 |
header_begin = "<h2 class='header'>"; |
header_begin = "<h2 class='header'>"; |
147 |
header_end = "</h2>"; |
header_end = "</h2>"; |
148 |
cvslink_begin = "<span class='cvs'>"; |
cvslink_begin = "<span class='cvs'>"; |
149 |
cvslink_end = "</span>"; |
cvslink_end = "</span>"; |
150 |
caution_begin = "<div class='caution'>"; |
caution_begin = "<div class='caution'>"; |
151 |
caution_end = "</div>"; |
caution_end = "</div>"; |
152 |
list_begin = "<ol>"; |
list_begin = "<ol>"; |
153 |
list_end = "</ol>"; |
list_end = "</ol>"; |
154 |
item_begin = "<li>"; |
item_begin = "<li>"; |
155 |
item_end = "</li>"; |
item_end = "</li>"; |
156 |
define_list_begin = "<dl>"; |
define_list_begin = "<dl>"; |
157 |
define_list_end = "</dl>"; |
define_list_end = "</dl>"; |
158 |
define_term_begin = "<dt>"; |
define_term_begin = "<dt>"; |
159 |
define_term_end = "</dt>"; |
define_term_end = "</dt>"; |
160 |
define_desc_begin = "<dd>"; |
define_desc_begin = "<dd>"; |
161 |
define_desc_end = "</dd>"; |
define_desc_end = "</dd>"; |
162 |
table_begin = "<table>"; |
table_begin = "<table>"; |
163 |
table_end = "</table>"; |
table_end = "</table>"; |
164 |
comment_begin = "<em class='comment'>"; |
comment_begin = "<em class='comment'>"; |
165 |
comment_end = "</em>"; |
comment_end = "</em>"; |
166 |
sharp_begin = "<em class='sharp'>"; |
sharp_begin = "<em class='sharp'>"; |
167 |
sharp_end = "</em>"; |
sharp_end = "</em>"; |
168 |
brace_begin = "<em class='brace'>"; |
brace_begin = "<em class='brace'>"; |
169 |
brace_end = "</em>"; |
brace_end = "</em>"; |
170 |
verbatim_begin = "<pre>"; |
verbatim_begin = "<pre>"; |
171 |
verbatim_end = "</pre>"; |
verbatim_end = "</pre>"; |
172 |
reserved_begin = "<strong class='reserved'>"; |
reserved_begin = "<strong class='reserved'>"; |
173 |
reserved_end = "</strong>"; |
reserved_end = "</strong>"; |
174 |
position_begin = "<em class='position'>"; |
position_begin = "<em class='position'>"; |
175 |
position_end = "</em>"; |
position_end = "</em>"; |
176 |
warned_line_begin = "<em class='warned'>"; |
warned_line_begin = "<em class='warned'>"; |
177 |
warned_line_end = "</em>"; |
warned_line_end = "</em>"; |
178 |
error_begin = "<h2 class='error'>"; |
error_begin = "<h2 class='error'>"; |
179 |
error_end = "</h2>"; |
error_end = "</h2>"; |
180 |
message_begin = "<h3 class='message'>"; |
message_begin = "<h3 class='message'>"; |
181 |
message_end = "</h3>"; |
message_end = "</h3>"; |
182 |
string_begin = "<em class='string'>"; |
string_begin = "<em class='string'>"; |
183 |
string_end = "</em>"; |
string_end = "</em>"; |
184 |
quote_great = ">"; |
quote_great = ">"; |
185 |
quote_little = "<"; |
quote_little = "<"; |
186 |
quote_amp = "&"; |
quote_amp = "&"; |
187 |
quote_space = " "; |
quote_space = " "; |
188 |
hr = "<hr />"; |
hr = "<hr />"; |
189 |
br = "<br />"; |
br = "<br />"; |
190 |
empty_element = " /"; |
empty_element = " /"; |
191 |
noframes_begin = "<noframes>"; |
noframes_begin = "<noframes>"; |
192 |
noframes_end = "</noframes>"; |
noframes_end = "</noframes>"; |
193 |
} |
} |
194 |
/* |
/* |
195 |
* Generate upper directory. |
* Generate upper directory. |