Browse Source

Merge pull request #641 from Yakindu/bundle_doc_src

hotfix: bundle documentation src
Johannes Dicks 9 years ago
parent
commit
49f1f4245f
1 changed files with 3 additions and 1 deletions
  1. 3 1
      plugins/org.yakindu.sct.doc.user/build.properties

+ 3 - 1
plugins/org.yakindu.sct.doc.user/build.properties

@@ -9,4 +9,6 @@ bin.includes = plugin.xml,\
                about.mappings,\
                about.properties,\
                Yakindu-about.png,\
-               css/
+               css/,\
+               src/
+