doc/xslt/webhelp/docs/content/search/htmlFileList.js

   1 //List of files which are indexed.
   2 fl = new Array();
   3 fl["0"]= "ch01.html";
   4 fl["1"]= "ch02.html";
   5 fl["2"]= "ch02s01.html";
   6 fl["3"]= "ch02s02.html";
   7 fl["4"]= "ch02s03.html";
   8 fl["5"]= "ch02s04.html";
   9 fl["6"]= "ch03.html";
  10 fl["7"]= "ch03s01.html";
  11 fl["8"]= "ch03s02.html";