Lines Matching defs:html
5 * Gaius Mulley (gaius@glam.ac.uk) wrote post-html.cpp
30 #include "html.h"
31 #include "html-text.h"
32 #include "html-table.h"
79 static int manufacture_headings = FALSE; /* default is to use the Hn html headings, */
83 /* multiple files with `job_name'-%d.html */
85 /* multiple html files, one for each */
87 static int base_point_size = 0; /* which troff font size maps onto html */
235 * set_file_name - sets the final file name to contain the html
501 int is_special; // text has come via 'x X html:'
541 * text_glob_html - used to place html text into the glob buffer.
556 * text_glob_html - used to place html specials into the glob buffer.
557 * This text is essentially html commands coming through
559 * characters translated into html. See add_and_encode.
608 * (Once html tables are handled by grohtml this will change.
1302 * add - add html text to the list of glyphs.
1379 * into html glyphs. The special string will have come from x X html:
1939 simple_output html;
2174 html.put_string("<hr>");
2196 * emit_raw - writes the raw html information directly to the device.
2216 current_paragraph->do_para(&html, "align=left", get_troff_indent(), pageoffset, linelength, space);
2219 current_paragraph->do_para(&html, "align=right", get_troff_indent(), pageoffset, linelength, space);
2304 * generate_img_src - returns a html image tag for the filename
2323 * is present, if so then it emits an html image tag.
2448 html.nl().nl().put_string("<a name=\"");
2454 html.put_string(buffer.contents());
2456 html.put_string(header.header_buffer);
2458 html.put_string("\"></a>").nl();
2467 html.put_string("<b><font size=\"+1\">");
2468 html.put_string(header.header_buffer);
2469 html.put_string("</font></b>").nl();
2472 html.put_string("<b>");
2473 html.put_string(header.header_buffer);
2474 html.put_string("</b>").nl();
2479 html.put_string("<h");
2480 html.put_number(header.header_level);
2481 html.put_string(">");
2482 html.put_string(header.header_buffer);
2483 html.put_string("</h");
2484 html.put_number(header.header_level);
2485 html.put_string(">").nl();
2504 current_paragraph->do_para(&html, "", get_troff_indent(), pageoffset, linelength, space);
2693 * then we start a html table to implement the indentation.
2709 current_paragraph->do_para(&html, "", device_indent,
2878 html.end_line(); // flush line
2882 html.set_file(file_list.get_file());
2893 html.end_line(); // flush line
2894 html.set_file(file_list.get_file()); // flush current file
2900 split_file += string(".html");
2904 html.set_file(file_list.get_file());
2924 * the <head> </head> section of the html document.
3000 html.simple_comment("TABS");
3095 if (strncmp(g->text_string, "html</p>:", strlen("html</p>:")) == 0) {
3125 } else if (strncmp(t, ".html-tl", 8) == 0) {
3189 * flush_globs - runs through the text glob list and emits html.
3521 html_table *tbl = new html_table(&html, -1);
3572 tbl = new html_table(&html, -1);
3599 tbl = new html_table(&html, -1);
3625 tbl = new html_table(&html, -1);
3638 tbl = new html_table(&html, -1);
3656 tbl = new html_table(&html, -1);
3736 html.simple_comment("new page called");
3886 * The html increase <big> and <small> decrease alters the
3906 * do_font - checks to see whether we need to alter the html font.
4008 * start/end and it calls the services of html-text to issue the
4028 * do_end_para - writes out the html text after shutting down the
4037 html.put_string(g->text_string+9);
4045 * emit_html - write out the html text
4157 : html(0, MAX_LINE_LENGTH),
4199 html.set_file(file_list.get_file());
4205 // should be sorted html..
4216 html.set_fixed_point(point);
4461 html.put_string("<title>");
4462 html.put_string(title.text);
4463 html.put_string("</title>").nl().nl();
4467 html.put_string("<h1 align=center>");
4468 html.put_string(title.text);
4469 html.put_string("</h1>").nl().nl();
4474 html.put_string("<title></title>").nl();
4479 * write_rule - emits a html rule tag, if the auto_rule boolean is true.
4492 html.begin_comment("Page: ").put_string(i_to_a(page_number)).end_comment();;
4504 current_paragraph = new html_text(&html);
4604 top += string(".html");
4612 html.copy_file(file_list.get_file());
4647 fputs("<!DOCTYPE html PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\"\n", stdout);
4650 fputs("<html>\n", stdout);
4655 "content=\"text/html; charset=US-ASCII\">\n", stdout);
4674 html.end_line();
4675 html.set_file(stdout);
4676 html.begin_comment("Creator : ")
4683 html.begin_comment("CreationDate: ")
4699 html.begin_comment("Total number of pages: ").put_string(i_to_a(no_of_printed_pages)).end_comment();
4701 html.end_line();
4702 html.end_line();
4706 fputs("</html>\n", stdout);
4711 fputs("</html>\n", stdout);
4825 * special - handle all x X requests from troff. For post-html they
4826 * allow users to pass raw html commands, turn auto linked
4842 if (strncmp(s, "html:", 5) == 0) {
4853 * need to pass rest of string through to html output during flush
4862 * assume that the html command has no width, if it does then
4867 } else if (strncmp(s, "html</p>:", 9) == 0) {
4878 * need to pass all of string through to html output during flush
4887 * assume that the html command has no width, if it does then
4971 /* text antialiasing bits - handled by pre-html */
4979 /* handled by pre-html */
4982 /* handled by pre-html */
4988 /* graphic antialiasing bits - handled by pre-html */
4991 /* do not use the Hn headings of html, but manufacture our own */
4995 /* handled by pre-html */
4998 /* handled by pre-html */
5011 /* handled by pre-html */
5014 /* handled by pre-html */