tree 71a01d83d19dfb3f6596e57746b607908c87de6a
parent dd1b5c0e303831f077731a8a6f3120e8137b03c0
author Jeremy Kerr <jk@ozlabs.org> 1464232514 +0800
committer Jeremy Kerr <jk@ozlabs.org> 1464232514 +0800

userguide: run tex twice

.. to generate proper cross-references.

Signed-off-by: Jeremy Kerr <jk@ozlabs.org>