bin/mkinfo
author hackbot
Sun, 23 May 2021 16:12:00 +0000
changeset 100 648be6279e23
child 156 e09ac1e3c0eb
permissions -rw-r--r--
<\a> ` echo "key=\\$1; shift; mkdir -p \\$(dirname \\"/hackenv/help/\\$key\\") && echo \\"\\$@\\" > \\"/hackenv/help/\\$key.help\\"" > /hackenv/bin/mkinfo

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