bin/mkinfo
author hackbot
Sun, 23 May 2021 16:12:15 +0000
changeset 101 17cdada13cb7
parent 100 648be6279e23
child 156 e09ac1e3c0eb
permissions -rwxr-xr-x
<\a> ` chmod +x /hackenv/bin/mkinfo

key=$1; shift; mkdir -p $(dirname "/hackenv/help/$key") && echo "$@" > "/hackenv/help/$key.help"