bin/mkinfo
author hackbot
Mon, 24 May 2021 05:28:39 +0000
changeset 120 439beb49c6ef
parent 100 648be6279e23
child 156 e09ac1e3c0eb
permissions -rwxr-xr-x
<cd> ` find / > ../listing

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