Added a test to check that the user manual builds successfully.