Added options to make Robodoc more customizable.

[robodoc.git] / Source / html_generator.h

diff --git a/Source/html_generator.h b/Source/html_generator.h
index f9b752e295a14db91023fc44e1c2e4ec0a9f66be..f95f6073d7ebeedf00ab59d8b91250867704e6fb 100644 (file)
--- a/Source/html_generator.h
+++ b/Source/html_generator.h
@@ -38,6 +38,12 @@ void                RB_HTML_Generate_Item_Begin(
 void                RB_HTML_Generate_Item_End(
     FILE *dest_doc,
     char *name );
+void                RB_HTML_Generate_TOC_Entries(
+    FILE *dest_doc,
+    struct RB_header **headers,
+    int count,
+    struct RB_Part *owner,
+    char *dest_name );
 void                RB_HTML_Generate_TOC_2(
     FILE *dest_doc,
     struct RB_header **headers,
@@ -163,5 +169,16 @@ void                RB_HTML_Generate_IndexMenu(
     char *filename,
     struct RB_Document *document,
     struct RB_HeaderType *cur_type );
+void                RB_HTML_Generate_Header_IndexMenu(
+    FILE *dest_doc,
+    char *filename,
+    struct RB_Document *document,
+    struct RB_Part *owner,
+    struct RB_HeaderType *cur_type );
+void                RB_HTML_Generate_Module_IndexMenu(
+    FILE *dest_doc,
+    char *filename,
+    struct RB_Document *document,
+    struct RB_HeaderType *cur_type );
 
 #endif /* ROBODOC_HTML_GENERATOR_H */