code: @Override
  	public void saveDocument(IProject project, File projectRoot, String name, boolean modelOnly)
  			throws IOException
  	{
  		String document = readFile("latex/document.tex");
  		String documentFileName = name;// + ".tex";
  		File latexRoot = makeOutputFolder(project);
  		StringBuilder sb = new StringBuilder();
  		String title = // "Coverage Report: " +
  		projectRoot.getName().replace('\\', '/').substring(0, projectRoot.getName().length());
  
  		for (String path : includes)
  		{
  
  			String includeName = path;
  			includeName = includeName.substring(0, includeName.lastIndexOf('.'));
  			includeName = includeName.substring(0, includeName.lastIndexOf('.'));
  			String tmp = includeName.replace('\\', '/');
  			includeName = tmp.substring(tmp.lastIndexOf('/') + 1);
  
  			if(modelOnly){
  			sb.append("\n" + "\\section{" + latexQuote(includeName) + "}");
  			}
  
  			if (path.contains(latexRoot.getAbsolutePath()))
  			{
  				path = path.substring(latexRoot.getAbsolutePath().length());
  				// sb.append("\n" + "\\input{" + (".." + path).replace('\\',
  				// '/')
  				// + "}");
  				sb.append("\n" + "\\input{"
  						+ path.replace('\\', '/').substring(1, path.length())
  						+ "}");
  			} else
  			{
  				sb.append("\n" + "\\input{" + path.replace('\\', '/') + "}");
  			}
  
  		}
  		document = document.replace(TITLE, latexQuote(title)).replace(PROJECT_INCLUDE_MODEL_FILES, sb.toString());
  
  		writeFile(outputFolder, documentFileName, document);
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.ide.plugins.latex.utility.PdfBuilder#saveDocument(org.eclipse.core.resources.IProject,
  java.io.File, java.lang.String)