* doc/misc/cl.texi (Usage): Add some more details.
commit2ad3d0182df68f00cca57584807f721c3c5c96f1
authorGlenn Morris <rgm@gnu.org>
Fri, 17 Jun 2016 16:55:06 +0000 (17 12:55 -0400)
committerGlenn Morris <rgm@gnu.org>
Fri, 17 Jun 2016 16:55:06 +0000 (17 12:55 -0400)
treeb6a7727531f7b98c17cb1a2adce4a19765634dcc
parentb49cb0ab9c165c1e861b5dfac5eb7ef6cb9e4e3a
* doc/misc/cl.texi (Usage): Add some more details.
doc/misc/cl.texi