updates.

[runtime.git] / util / robodoc / Source / generator.c

diff --git a/util/robodoc/Source/generator.c b/util/robodoc/Source/generator.c
index fcacfd3812e896aadd103ff0137fcd76a2b7316e..34f3db128371e126b21a837fac3789cb35b0cf5b 100644 (file)
--- a/util/robodoc/Source/generator.c
+++ b/util/robodoc/Source/generator.c
@@ -264,7 +264,7 @@ RB_Generate_Doc_Start (
          fprintf (dest_doc, "<OL>\n");
 
          /* Generate quick index file, for fast referencing */
-         sprintf(iname, "%s_index.html", doc_base);
+         sprintf(iname, "%s_index.tmpl", doc_base);
           index = fopen(iname, "w");
 
          for (cur_header = first_header;