| commit | 3caa5c6414f986afbf618eee0c0ea6d5f6163c4c | [log] [tgz] |
|---|---|---|
| author | Carsten Hiesserich <carsten.hie@gmail.com> | Sun Sep 13 12:01:32 2015 +0200 |
| committer | Carsten Hiesserich <carsten.hie@gmail.com> | Thu Sep 17 19:49:13 2015 +0200 |
| tree | afd5b045dd3401d185ff1e4028904c2ad9a81a08 | |
| parent | 9646378a712f1a93a66f8d6f861c7864b15451b7 [diff] |
add URI attribute to plugin doctype definition The build-in document types use catalog contributions to map public or system id's to the dtd file. In plugin projects, the user defined document types had to use the file name as system id to be resolved. This commit adds an additional 'uri' attribute to the plugin config to config the file name independently. Change-Id: Ib26e3b93607a2a4d54dcb3b2ae146f8d1e8db2d7 Signed-off-by: Carsten Hiesserich <carsten.hie@gmail.com>