# HG changeset patch
# User hackbot
# Date 1621791562 0
# Node ID 5116820523c0c686bacc33936663c347a6877c53
# Parent  4fd55c1868d89ab31cf17b6f46b6071de352df2a
<cd> rm /hackenv/bin/mkhelp

diff -r 4fd55c1868d8 -r 5116820523c0 bin/mkhelp
--- a/bin/mkhelp	Sun May 23 16:39:17 2021 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-key=$(mk "/hackenv/help/$@.help") && echo "$key"