bin/mkinfo
author hackbot
Thu, 03 Jun 2021 00:46:27 +0000
changeset 206 e36c4f695ea4
parent 180 74b55dab8c04
permissions -rwxr-xr-x
<cd> ` rm ../help/pik*

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