source:
release-kits/derk/bin/derk@
18999
Last change on this file since 18999 was 18999, checked in by , 15 years ago | |
---|---|
File size: 134 bytes |
Rev | Line | |
---|---|---|
[18999] | 1 | #!/bin/bash |
2 | export rk_name="derk" | |
3 | export rk_fullname="Document Examples Release Kit" | |
4 | export RK_HOME=$DERK_HOME | |
5 | $DERK_HOME/linux/rk $* |
Note:
See TracBrowser
for help on using the repository browser.