diff --git a/platex-en.pdf b/platex-en.pdf index 609e57a..99c3e72 100644 Binary files a/platex-en.pdf and b/platex-en.pdf differ diff --git a/platex.pdf b/platex.pdf index 3e38e77..5cb716e 100644 Binary files a/platex.pdf and b/platex.pdf differ diff --git a/pldoc.pdf b/pldoc.pdf index 91a683b..b278ab6 100644 Binary files a/pldoc.pdf and b/pldoc.pdf differ