| 123456789101112131415161718192021 |
- $OpenBSD: patch-libdjvu_DjVuMessageLite_h,v 1.1 2016/03/02 20:10:36 juanfra Exp $
- "accept documents with duplicate page titles"
- http://sourceforge.net/p/djvu/djvulibre-git/ci/77a4dca8dd3acd0acc1680fa14a352c11084e25d/
- https://bitbucket.org/jwilk/pdf2djvu/issues/113/duplicate-page-title-1
- --- libdjvu/DjVuMessageLite.h.orig Tue Jul 8 23:15:07 2014
- +++ libdjvu/DjVuMessageLite.h Wed Feb 3 01:51:28 2016
- @@ -89,8 +89,8 @@ class ByteStream;
- separator ::= newline |
- newline | separator
-
- - single_message ::= message_ID |
- - message_ID parameters
- + single_message ::= CTRLC message_ID |
- + CTRLC message_ID parameters
-
- parameters ::= tab string |
- tab string parameters
|
