sed -e "/@VERSION@/s//$version/" -e "/@DATE@/s//$curdate/" -e "/@BODY@/ r $DST/index.html.tmp" -e s/@BODY@//g $index >$DST/index.html
sh gen.sh $DST gen_index.php 2 $DST/index.html $DST/index.html
+ # Generate the index toolkit_index.html file
+ $ROBO /tmp/silcdoc.html/silcdoc_xref $DST/toolkit_index.html INDEX HTML TITLE "SILC Toolkit Index"
+ sh gen.sh $DST gen_index.php 2 $DST/toolkit_index.html $DST/toolkit_index.html
+
+ # Cleanup
rm -rf $DST/index.html.tmp
rm -rf /tmp/silcdoc.html
rm -rf /tmp/silcdoc_html.html