1 /* html.h -- declarations for html-related utilities.
2 $Id: html.h,v 1.11 2008/05/19 18:26:48 karl Exp $
4 Copyright (C) 1999, 2000, 2002, 2004, 2007, 2008
5 Free Software Foundation, Inc.
7 This program is free software: you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation, either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
23 /* A stack of font tags. */
31 /* Nonzero if we have output a title, from @titlefont or @settitle. */
32 extern int html_title_written;
34 /* Filename to which to write list of index entries, and stream for them */
35 extern char *internal_links_filename;
36 extern FILE *internal_links_stream;
38 /* Perform the <head> output. */
39 extern void html_output_head (void);
42 extern char *escape_string (char *);
44 /* Open or close TAG according to START_OR_END. */
45 extern void insert_html_tag (int start_or_end, char *tag);
47 /* Output HTML <link> to NODE, plus extra ATTRIBUTES. */
48 extern void add_link (char *nodename, char *attributes);
50 /* Escape URL-special characters. */
51 extern char *escaped_anchor_name (const char *name);
52 extern void add_escaped_anchor_name (char *name, int old);
55 extern void add_anchor_name (char *nodename, int href);
56 extern void add_url_name (char *nodename, int href);
57 extern void add_nodename_to_filename (char *nodename, int href);
58 extern char *nodename_to_filename (char *nodename);
59 extern int rollback_empty_tag (char *tag);
61 #if defined (VA_FPRINTF) && __STDC__
62 extern void insert_html_tag_with_attribute (int start_or_end, char *tag, char *format, ...);
64 extern void insert_html_tag_with_attribute ();