diff options
Diffstat (limited to 'pkgs/development/tools/documentation/xdoc/builder.sh')
| -rw-r--r-- | pkgs/development/tools/documentation/xdoc/builder.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/pkgs/development/tools/documentation/xdoc/builder.sh b/pkgs/development/tools/documentation/xdoc/builder.sh deleted file mode 100644 index 4bc414ff7bfe..000000000000 --- a/pkgs/development/tools/documentation/xdoc/builder.sh +++ /dev/null @@ -1,5 +0,0 @@ -source $stdenv/setup - -configureFlags="--with-aterm=$aterm --with-sglr=$sglr --with-pgen=$pgen - --with-pt-support=$ptsupport --with-asf-library=$asflibrary --with-strategoxt=$strategoxt --with-graphviz=$graphviz --with-svn=$subversion" -genericBuild |