bin/mkinfo
changeset 156 e09ac1e3c0eb
parent 100 648be6279e23
equal deleted inserted replaced
155:d2727b5ff743 156:e09ac1e3c0eb
       
     1 #!/bin/bash
     1 key=$1; shift; mkdir -p $(dirname "/hackenv/help/$key") && echo "$@" > "/hackenv/help/$key.help"
     2 key=$1; shift; mkdir -p $(dirname "/hackenv/help/$key") && echo "$@" > "/hackenv/help/$key.help"