diff options
Diffstat (limited to 'gnu/usr.bin/texinfo/makeinfo/html.h')
-rw-r--r-- | gnu/usr.bin/texinfo/makeinfo/html.h | 42 |
1 files changed, 30 insertions, 12 deletions
diff --git a/gnu/usr.bin/texinfo/makeinfo/html.h b/gnu/usr.bin/texinfo/makeinfo/html.h index 49aec6f9b83..e51299b17d8 100644 --- a/gnu/usr.bin/texinfo/makeinfo/html.h +++ b/gnu/usr.bin/texinfo/makeinfo/html.h @@ -1,7 +1,7 @@ /* html.h -- declarations for html-related utilities. - $Id: html.h,v 1.1.1.2 2002/06/10 13:21:16 espie Exp $ + $Id: html.h,v 1.1.1.3 2006/07/17 16:03:46 espie Exp $ - Copyright (C) 1999, 2000, 02 Free Software Foundation, Inc. + Copyright (C) 1999, 2000, 2002, 2004 Free Software Foundation, Inc. This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -20,28 +20,46 @@ #ifndef HTML_H #define HTML_H +/* A stack of font tags. */ +typedef struct hstack +{ + struct hstack *next; + char *tag; + char *attribs; +} HSTACK; + /* Nonzero if we have output the <head>. */ extern int html_output_head_p; +/* Nonzero if we have output a title, from @titlefont or @settitle. */ +extern int html_title_written; + /* Perform the <head> output. */ -extern void html_output_head (); +extern void html_output_head (void); /* Escape &<>. */ -extern char *escape_string (/* char * */); +extern char *escape_string (char *); /* Open or close TAG according to START_OR_END. */ -extern void insert_html_tag (/* int start_or_end, char *tag */); +extern void insert_html_tag (int start_or_end, char *tag); /* Output HTML <link> to NODE, plus extra ATTRIBUTES. */ -extern void add_link (/* char *node, char *attributes */); +extern void add_link (char *nodename, char *attributes); -/* Escape URL-special characters as %xy. */ -extern void add_escaped_anchor_name (/* char *name */); +/* Escape URL-special characters. */ +extern void add_escaped_anchor_name (char *name, int old); /* See html.c. */ -extern void add_anchor_name (/* nodename, href */); -extern void add_url_name ( /* nodename, href */ ); -extern char* nodename_to_filename ( /* nodename */ ); -extern void add_nodename_to_filename ( /*nodename, href */ ); +extern void add_anchor_name (char *nodename, int href); +extern void add_url_name (char *nodename, int href); +extern void add_nodename_to_filename (char *nodename, int href); +extern char *nodename_to_filename (char *nodename); +extern int rollback_empty_tag (char *tag); + +#if defined (VA_FPRINTF) && __STDC__ +extern void insert_html_tag_with_attribute (int start_or_end, char *tag, char *format, ...); +#else +extern void insert_html_tag_with_attribute (); +#endif #endif /* !HTML_H */ |