Add some debug info to the manual, for the travis build
Add some debug info to the manual, for the travis build

ndmitchell/shake,ndmitchell/shake,ndmitchell/shake,ndmitchell/shake,ndmitchell/shake,ndmitchell/shake