Lines Matching refs:HTML
8 # Description: Program to transform most Texinfo documents to HTML #
50 $html2_doctype = '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0 Strict Level 2//EN">';
124 # texinfo "simple things" (@foo) to HTML ones
128 "*", "<BR>", # HTML+
141 # texinfo "things" (@foo{}) to HTML ones
170 # texinfo styles (@foo{bar}) to HTML ones
206 # texinfo format (@foo/@end foo) to HTML ones
461 # can I use ISO8879 characters? (HTML+)
511 $in_html = 0; # am I inside an HTML section
513 $dont_html = 0; # don't protect HTML on this line
516 @html_stack = (); # HTML elements stack
517 $html_element = ''; # current HTML element
871 # protect texi and HTML things
1160 1 while s/<(\w+)>\`(.*)\´<\/\1>/$2/; # remove HTML tags with quotes
1161 1 while s/<(\w+)>(.*)<\/\1>/$2/; # remove HTML tags
1432 <!-- This HTML file has been created by $THISPROG
1672 # HTML stacking to have a better HTML output
1892 <HTML>
1930 </HTML>
1959 # but recognize some HTML things
1999 texi2html \- a Texinfo to HTML converter
2006 converts the given Texinfo file to a set of HTML files. It tries to handle
2019 The HTML files created by
2031 to find the Texinfo commands that have been left in the HTML file.
2040 Use the section named 'Glossary' to build a list of terms and put links in the HTML
2061 Split the output into several HTML files (one per main section:
2065 Split the output into several HTML files (one per node).
2109 This indicates the start of an HTML section, this section will passed through
2113 This indicates the end of an HTML section.
2132 HyperText Markup Language (HTML),