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