Re: Document header error in trunk.

[Pavel Sanda]

> i can post quick fix

Index: src/PDFOptions.cpp
===================================================================
--- src/PDFOptions.cpp  (revision 20891)
+++ src/PDFOptions.cpp  (working copy)
@@ -190,6 +190,8 @@
                lex >> quoted_options;
        } else if (token == "\\pdf_store_options") {
                //leftover from previous option; intended for later removal
+               bool tmp;
+               lex >> tmp;
        } else {
                return token;
        }