bin/mkinfo
changeset 200 b90fc7204ab9
parent 180 74b55dab8c04
equal deleted inserted replaced
199:85c186fb26e7 200:b90fc7204ab9
       
     1 #!/bin/bash
       
     2 key=$1; shift; mkdir -p $(dirname "/hackenv/help/$key") && echo "$@" > "/hackenv/help/$key.help"