diff --git a/doc/dev/logs/2011-05-12 b/doc/dev/logs/2011-05-12 index 6a418cd2..e03a35ad 100644 --- a/doc/dev/logs/2011-05-12 +++ b/doc/dev/logs/2011-05-12 @@ -14,6 +14,13 @@ A type __get_and_build: Answer2 for now: Use a second type: + __get_and_build: + __directory /var/tmp + require="__directory/var/tmp" __build + __build: + gencode-remote: + wget && build + Answert for soon: Should be doable easier!