+void Generate_Header_IndexMenu(
+ FILE *dest_doc,
+ char *filename,
+ struct RB_Part *owner,
+ struct RB_Document *document )
+{
+ switch ( output_mode )
+ {
+ case HTML:
+ RB_HTML_Generate_Header_IndexMenu( dest_doc, filename,
+ document, owner, NULL );
+ break;
+ default:
+ break;
+ }
+
+}
+
+void Generate_Module_IndexMenu(
+ FILE *dest_doc,
+ char *filename,
+ struct RB_Document *document )
+{
+ switch ( output_mode )
+ {
+ case HTML:
+ RB_HTML_Generate_Module_IndexMenu( dest_doc, filename,
+ document, NULL );
+ break;
+ default:
+ break;
+ }
+
+}
+