+ "gatehome: \"" + gatehomeSlashes + "\"\n"
+ "relpath: \"" + relpathSlashes + "\"\n"
+ "}";
//System.out.println("Settings string is: "+settingsString);
settings.setWithString("data",settingsString);
settings.addProgressListener(new ConsoleProgressListener());
settings.execute();
} // generateDoc