diff options
Diffstat (limited to 'webhelp/docs/content/search/htmlFileList.js')
| -rw-r--r-- | webhelp/docs/content/search/htmlFileList.js | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/webhelp/docs/content/search/htmlFileList.js b/webhelp/docs/content/search/htmlFileList.js deleted file mode 100644 index 5562796..0000000 --- a/webhelp/docs/content/search/htmlFileList.js +++ /dev/null @@ -1,18 +0,0 @@ -//List of files which are indexed. -fl = new Array(); -fl["0"]= "ch04.html"; -fl["1"]= "ch05s01.html"; -fl["2"]= "ch03s02.html"; -fl["3"]= "index.html"; -fl["4"]= "ch03s01.html"; -fl["5"]= "ch01.html"; -fl["6"]= "ch02.html"; -fl["7"]= "ch02s01.html"; -fl["8"]= "ch02s03.html"; -fl["9"]= "ch05.html"; -fl["10"]= "ch03.html"; -fl["11"]= "ch02s05.html"; -fl["12"]= "ch02s04.html"; -fl["13"]= "ch02s02.html"; -fl["14"]= "ch05s02.html"; -var doStem = true
\ No newline at end of file |