bin/mkinfo
changeset 100 648be6279e23
child 156 e09ac1e3c0eb
equal deleted inserted replaced
99:97775c5dd3b3 100:648be6279e23
       
     1 key=$1; shift; mkdir -p $(dirname "/hackenv/help/$key") && echo "$@" > "/hackenv/help/$key.help"