From 8007996fe732e52736f48b84be6e189765b2eb2b Mon Sep 17 00:00:00 2001
From: Peter De Wachter <pdewacht@gmail.com>
Date: Fri, 26 Jan 2018 22:15:09 +0100
Subject: [PATCH] Fix ppdc warning

---
 brlaser.drv.in | 2 +-
 src/main.cc    | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/brlaser.drv.in b/brlaser.drv.in
index 3d643f5..0b74531 100644
--- a/brlaser.drv.in
+++ b/brlaser.drv.in
@@ -50,7 +50,7 @@ MediaSize B5
 MediaSize B6
 MediaSize EnvC5
 MediaSize EnvMonarch
-MediaSize EnvPRC5
+MediaSize EnvDL
 MediaSize Executive
 MediaSize Legal
 MediaSize Letter
diff --git a/src/main.cc b/src/main.cc
index bff2f1b..13132e5 100644
--- a/src/main.cc
+++ b/src/main.cc
@@ -96,6 +96,7 @@ page_params build_page_params() {
     { "EnvC5", "C5" },
     { "EnvMonarch", "MONARCH" },
     { "EnvPRC5", "DL" },
+    { "EnvDL", "DL" },
     { "Executive", "EXECUTIVE" },
     { "Legal", "LEGAL" },
     { "Letter", "LETTER" }