From afeb1e45b265d340cd856518da9a1b0a44fbe063 Mon Sep 17 00:00:00 2001
From: Daniel Barrett <dbarrett@blazemonger.com>
Date: Thu, 1 Aug 2019 19:47:43 +0200
Subject: [PATCH] Add PDF to the DocBook notation class

* etc/schema/dbnotn.rnc: PDF is among the document types accepted
(bug#21882).

Copyright-paperwork-exempt: yes
---
 etc/schema/dbnotn.rnc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/etc/schema/dbnotn.rnc b/etc/schema/dbnotn.rnc
index 2a6185f27fd..10ecc53b18f 100644
--- a/etc/schema/dbnotn.rnc
+++ b/etc/schema/dbnotn.rnc
@@ -65,6 +65,7 @@ notation.class =
   | "JPEG"
   | "IGES"
   | "PCX"
+  | "PDF"
   | "PIC"
   | "PNG"
   | "PS"
-- 
2.39.2