Manual for Larry Tesler's PUB markup language.