diff options
| author | Daniel Barrett | 2019-08-01 19:47:43 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen | 2019-08-01 19:47:43 +0200 |
| commit | afeb1e45b265d340cd856518da9a1b0a44fbe063 (patch) | |
| tree | 5f9b57bd7c2ad05e77b33f280664b93899d0b20a /etc | |
| parent | 5b3b7da1684ac556f659c9187bab0d9f803b9097 (diff) | |
| download | emacs-afeb1e45b265d340cd856518da9a1b0a44fbe063.tar.gz emacs-afeb1e45b265d340cd856518da9a1b0a44fbe063.zip | |
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')
| -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 = | |||
| 65 | | "JPEG" | 65 | | "JPEG" |
| 66 | | "IGES" | 66 | | "IGES" |
| 67 | | "PCX" | 67 | | "PCX" |
| 68 | | "PDF" | ||
| 68 | | "PIC" | 69 | | "PIC" |
| 69 | | "PNG" | 70 | | "PNG" |
| 70 | | "PS" | 71 | | "PS" |