Scribe: A Document Specification Language and Its Compiler