--- docs/user/html/clambc-user.html.orig 2014-11-10 18:04:47 UTC +++ docs/user/html/clambc-user.html @@ -233,7 +233,7 @@ class="ec-lmtt-10">$PREFIX/bin/clambc-compiler