diff --git a/edu.kit.ipd.descartes.mm.adaptation.edit/build.properties b/edu.kit.ipd.descartes.mm.adaptation.edit/build.properties index f49dbb43fe1c660ba5a28e2b7e1537d06469665d..4c518d702bb857cf6dcd7a7d8e70508f18776858 100644 --- a/edu.kit.ipd.descartes.mm.adaptation.edit/build.properties +++ b/edu.kit.ipd.descartes.mm.adaptation.edit/build.properties @@ -6,5 +6,6 @@ bin.includes = .,\ plugin.xml,\ plugin.properties jars.compile.order = . -source.. = src/ +source.. = src/,\ + src-man/ output.. = bin/