Index: backend/djvu/djvu-document-private.h
===================================================================
--- backend/djvu/djvu-document-private.h	(revision 2452)
+++ backend/djvu/djvu-document-private.h	(working copy)
@@ -36,6 +36,10 @@
 	gchar            *uri;
 
 	DjvuText         *search;
+        
+        /* File exporter */
+        gchar *ps_filename;
+        GString *opts; // options for ddjvu_document_print()
 };
 
 int  djvu_document_get_n_pages (EvDocument   *document);
