- (write-document DOC FILE [VERSION] [TRAILER-EXTRA])procedure
Writes DOC to FILE. VERSION (default: DOC's own PDF version, set by build-doc) is the PDF version string written to the file header; it can be overridden here independently of DOC's version. TRAILER-EXTRA (default "") is raw text appended to the trailer dictionary, after /Root.