formats/html/ConfigurationImpl.java

134      * True if command line option "-splitindex" is used. Default value is
137     public boolean splitindex = false;
292             } else if (opt.equals("-splitindex")) {
293                 splitindex = true;
391             option.equals("-splitindex") ||
445         boolean splitindex = false;
505             } else if (opt.equals("-splitindex")) {
508                         "-splitindex", "-noindex"));
511                 splitindex = true;
513                 if (splitindex == true) {
515                         "-noindex", "-splitindex"));