tree 63e781512a5942e394a76c049dbce870dab6f87d
parent 8b80cb60799d090235172a7102f93625f3f255b9
author Jeremy Kerr <jk@ozlabs.org> 1464232454 +0800
committer Jeremy Kerr <jk@ozlabs.org> 1464232454 +0800

userguide: don't run tex in interactive mode

... as it doesn't behave well with CI builds.

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