diff options
| author | Thomas Schuetz | 2013-11-22 13:49:47 +0000 |
|---|---|---|
| committer | Thomas Schuetz | 2013-11-22 13:51:41 +0000 |
| commit | edede03fbf82f5c3a6a157b6e69edcbe7bd7eb9b (patch) | |
| tree | 1ed74dca6aa85dd427038c8697db857b668018f2 | |
| parent | d689b9078d018ceda78cc502fc84f3ca2a20d3b9 (diff) | |
| download | org.eclipse.etrice-edede03fbf82f5c3a6a157b6e69edcbe7bd7eb9b.tar.gz org.eclipse.etrice-edede03fbf82f5c3a6a157b6e69edcbe7bd7eb9b.tar.xz org.eclipse.etrice-edede03fbf82f5c3a6a157b6e69edcbe7bd7eb9b.zip | |
[generator.doc] fixed name in generated LaTeX doc with .escapedString
Change-Id: Ifc4da2aea150556b47688bdad0a27ea48789290c
2 files changed, 3 insertions, 2 deletions
diff --git a/plugins/org.eclipse.etrice.generator.doc/src/org/eclipse/etrice/generator/doc/gen/DocGen.xtend b/plugins/org.eclipse.etrice.generator.doc/src/org/eclipse/etrice/generator/doc/gen/DocGen.xtend index 286d2b2ca..63de140d7 100644 --- a/plugins/org.eclipse.etrice.generator.doc/src/org/eclipse/etrice/generator/doc/gen/DocGen.xtend +++ b/plugins/org.eclipse.etrice.generator.doc/src/org/eclipse/etrice/generator/doc/gen/DocGen.xtend @@ -108,7 +108,7 @@ class DocGen { \setcounter{tocdepth}{100} - \title{«model.name» Model Documentation} + \title{«model.name.escapedString» Model Documentation} \date{\today} \author{generated by eTrice} diff --git a/plugins/org.eclipse.etrice.generator.doc/xtend-gen/org/eclipse/etrice/generator/doc/gen/DocGen.java b/plugins/org.eclipse.etrice.generator.doc/xtend-gen/org/eclipse/etrice/generator/doc/gen/DocGen.java index 732cdf173..b817e7c6b 100644 --- a/plugins/org.eclipse.etrice.generator.doc/xtend-gen/org/eclipse/etrice/generator/doc/gen/DocGen.java +++ b/plugins/org.eclipse.etrice.generator.doc/xtend-gen/org/eclipse/etrice/generator/doc/gen/DocGen.java @@ -225,7 +225,8 @@ public class DocGen { _builder.newLine(); _builder.append("\\title{"); String _name = model.getName(); - _builder.append(_name, ""); + String _escapedString = this.escapedString(_name); + _builder.append(_escapedString, ""); _builder.append(" Model Documentation}"); _builder.newLineIfNotEmpty(); _builder.append("\\date{\\today}"); |