development/maude: Fix README.

Signed-off-by: B. Watson <yalhcru@gmail.com>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
B. Watson 2020-10-11 17:36:50 -04:00 committed by Willy Sudiarto Raharjo
parent da9247ad68
commit 8952ed8a69
No known key found for this signature in database
GPG key ID: 3F617144D7238786

View file

@ -15,4 +15,4 @@ you may:
- export the variable to the environment, then run maude
$ export MAUDE_LIB=/usr/share/maude/
$ maude
$ maude