doc/user_manual/*.html /usr/share/doc/brz-debian/user_manual/
