Commit Graph

3 Commits

Author SHA1 Message Date
Michael Friedrich af86fa8ed9 Revert "make: mkembedconfig is required for 'dist'"
This reverts commit 1e637dbbd4.
2013-08-28 18:09:20 +02:00
Michael Friedrich 1e637dbbd4 make: mkembedconfig is required for 'dist'
fixes #4489
2013-08-28 16:19:13 +02:00
Michael Friedrich c9fb309200 tools: move mkembedconfig into subdir
preparation for moving the conversion script into tools/

refs #4337
2013-06-24 16:05:18 +02:00