code: private String[] scanIncludedFiles() {
  		final DirectoryScanner scanner = new DirectoryScanner();
  		scanner.setBasedir(sourceDirectory);
  		scanner.setIncludes(new String[]{inputFilename});
  		scanner.scan();
  		return scanner.getIncludedFiles();
  	}
docs: Returns the list of docbook files to include.