创建源文本文件

可以使用任何文本编辑器 ((如记事本) )创建源文本文件。 源文本文件的传统文件扩展名 .pdf (表示打印机定义文件) 。

PDF 文件由两个部分组成:

另请参阅

示例源文本文件
编译源文本文件