Add PDF to the DocBook notation class

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

Copyright-paperwork-exempt: yes

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