Merge pull request #7 from darius-bluespec/master

Minor bug fixes.
fix of @itemx which does not follow @item error for texinfo versions >= 5
Merge pull request #8 from mzimmer/master

fix of @itemx which does not follow @item error for texinfo versions >= ...