summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJeff Garzik <jgarzik@src.gnome.org>1998-12-01 16:54:15 +0000
committerJeff Garzik <jgarzik@src.gnome.org>1998-12-01 16:54:15 +0000
commit1038def13837cf21244571d4bd4e3330f4dbdb27 (patch)
tree202e1a0cf60671ada391c98371d19379a5d919d3
parent7594724175ff6955d676ee8713a7ab37ed80dd11 (diff)
downloadyelp-1038def13837cf21244571d4bd4e3330f4dbdb27.tar.gz
-rw-r--r--src/info2html/html.c12
1 files changed, 12 insertions, 0 deletions
diff --git a/src/info2html/html.c b/src/info2html/html.c
index 9391a523..88d36933 100644
--- a/src/info2html/html.c
+++ b/src/info2html/html.c
@@ -23,6 +23,16 @@ int inTable=0;
char *BaseFilename=NULL;
char *OverrideBaseFilename=NULL;
+/* prototypes */
+char *form_info_tag_href( char *nodefile, char *nodename );
+int make_Top_link( char *destdir, char *destfile );
+int make_info_dir( char *destdir );
+void write_node_link_html( FILE *f, char *nodefile, char *refname, char *ref );
+void start_html_content( FILE *f );
+void make_nav_links( FILE *f, NODE *node );
+void html_error( char *s, char *p, char *q );
+
+
/* print out the url for a info file */
char *form_info_tag_href( char *nodefile, char *nodename )
{
@@ -32,10 +42,12 @@ char *form_info_tag_href( char *nodefile, char *nodename )
escaped_nodename = escape_html_chars( nodename );
if (!strcmp(BaseFilename, nodefile))
+ {
if (OverrideBaseFilename)
filename = OverrideBaseFilename;
else
filename = BaseFilename;
+ }
else
filename = nodefile;