diff options
| author | Daniel Barrett <dbarrett@blazemonger.com> | 2019-08-01 19:47:43 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen <larsi@gnus.org> | 2019-08-01 19:47:43 +0200 |
| commit | afeb1e45b265d340cd856518da9a1b0a44fbe063 (patch) | |
| tree | 5f9b57bd7c2ad05e77b33f280664b93899d0b20a /etc/schema | |
| parent | 5b3b7da1684ac556f659c9187bab0d9f803b9097 (diff) | |
| download | emacs-afeb1e45b265d340cd856518da9a1b0a44fbe063.tar.gz | |
Add PDF to the DocBook notation class
* etc/schema/dbnotn.rnc: PDF is among the document types accepted
(bug#21882).
Copyright-paperwork-exempt: yes
Diffstat (limited to 'etc/schema')
| -rw-r--r-- | etc/schema/dbnotn.rnc | 1 |
1 files changed, 1 insertions, 0 deletions
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" |