Minor tic marks along the x2 (top) axis are controlled by mx2tics. Please see mxtics.
This document was generated on November 19, 2011 using texi2html 5.0.