diff options
author | Eduardo Lima <eduardo.lima@indt.org.br> | 2005-12-21 21:29:39 (GMT) |
---|---|---|
committer | Eduardo de Barros Lima <eblima@src.gnome.org> | 2005-12-21 21:29:39 (GMT) |
commit | 469d80f6b3dcfc2900f0faf5ab553fb3531c41f9 (patch) | |
tree | 82eb06b5273b9371f2a93423a761742e78cb96c2 /shell | |
parent | ad8c5759a29adf76e69b525c6e5e69a6999d3382 (diff) |
Included option in configure to make ps backend compilation optional with
2005-12-21 Eduardo Lima <eduardo.lima@indt.org.br>
* Makefile.am:
* configure.ac:
* backend/Makefile.am:
* backend/ev-document-factory.c:
* shell/ev-document-types.c:
Included option in configure to make ps backend
compilation optional with --disable-ps.
Diffstat (limited to 'shell')
-rw-r--r-- | shell/ev-document-types.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/shell/ev-document-types.c b/shell/ev-document-types.c index 27fb2fe..d6634f3 100644 --- a/shell/ev-document-types.c +++ b/shell/ev-document-types.c @@ -136,6 +136,7 @@ ev_document_types_add_filters (GtkWidget *chooser, EvDocument *document) gtk_file_filter_add_pixbuf_formats (filter); gtk_file_chooser_add_filter (GTK_FILE_CHOOSER (chooser), filter); +#ifdef ENABLE_PS if (document == NULL || backend == EV_BACKEND_PS) { default_filter = filter = gtk_file_filter_new (); gtk_file_filter_set_name (filter, _("PostScript Documents")); @@ -143,6 +144,7 @@ ev_document_types_add_filters (GtkWidget *chooser, EvDocument *document) file_filter_add_mime_list_and_free (filter, mime_types); gtk_file_chooser_add_filter (GTK_FILE_CHOOSER (chooser), filter); } +#endif if (document == NULL || backend == EV_BACKEND_PDF) { default_filter = filter = gtk_file_filter_new (); |