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 | |
| Line | |
|---|---|
| 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.
