The Larceny User Manual is available in four formats:
Larceny developers may want to check the build log or the source files from which the user manual is generated.