@c the version for mu for including in texinfo docs
@set mu-version @VERSION@