Create manual.scrbl