--- ../docs/user/html/clambc-user.html.orig +++ ../docs/user/html/clambc-user.html @@ -233,7 +233,7 @@ class="ec-lmtt-10">$PREFIX/bin/clambc-compiler