diff options
| author | Juergen Haug | 2018-12-20 10:40:47 +0000 |
|---|---|---|
| committer | Juergen Haug | 2018-12-20 11:09:01 +0000 |
| commit | 71d8ecc0556364aec9c55ec0df9328f3197bd85e (patch) | |
| tree | 60de5d1f3e463f880f7e170c51aac0a4cc85382b /pom.xml | |
| parent | 4c2b39b661edefe990086cae086343fce0580609 (diff) | |
| download | org.eclipse.etrice-71d8ecc0556364aec9c55ec0df9328f3197bd85e.tar.gz org.eclipse.etrice-71d8ecc0556364aec9c55ec0df9328f3197bd85e.tar.xz org.eclipse.etrice-71d8ecc0556364aec9c55ec0df9328f3197bd85e.zip | |
Bug 542947 - [doc.gen] add launch config for documentation generator
Change-Id: I0cde2a02f65203e50b199c727b83dfdfc7aaaab4
Diffstat (limited to 'pom.xml')
| -rw-r--r-- | pom.xml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -58,6 +58,7 @@ <module>plugins/org.eclipse.etrice.generator.launch.c</module> <module>plugins/org.eclipse.etrice.generator.launch.cpp</module> <module>plugins/org.eclipse.etrice.generator.launch.java</module> + <module>plugins/org.eclipse.etrice.generator.launch.doc</module> <module>plugins/org.eclipse.etrice.generator.ui</module> <module>plugins/org.eclipse.etrice.generator.ui.cdt</module> <module>plugins/org.eclipse.etrice.logging</module> |