tree 5bced890e40c6f28ff54cf34056b78470c6f2ac7
parent aa994145c354022a9275a098f1d25de47ae6a652
author Paul Jolly <paul@myitcv.org.uk> 1617355318 +0100
committer Paul Jolly <paul@myitcv.org.uk> 1617356652 +0000

doc/cmd: refer people to cue help for now

Until such time as we solve #9, maintaining a cmd reference by hand is
bound to go out of sync. Give, per #9, we do plan to generate such a
combined reference one day, leave this file in place with a simple
"redirect" asking people to refer to cue help instead.

Change-Id: Ia232437996c27af5a0ed2ad459bfdaeb50d4c27e
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/9301
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>