[gtk+] Doc: add missing GtkPrintSettings symbols

[Sébastien Wilmet <swilmet src gnome org>]

commit 1c00ac0d4c9e93d9a855ac29586d867da1d8eb03
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Sun Nov 3 19:48:50 2013 +0100

    Doc: add missing GtkPrintSettings symbols
    
    The symbols are documented, they were just missing in gtk3-sections.txt.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=711354

 docs/reference/gtk/gtk3-sections.txt |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/docs/reference/gtk/gtk3-sections.txt b/docs/reference/gtk/gtk3-sections.txt
index 9e610af..c2287aa 100644
--- a/docs/reference/gtk/gtk3-sections.txt
+++ b/docs/reference/gtk/gtk3-sections.txt
@@ -7017,6 +7017,8 @@ gtk_print_settings_set_finishings
 GTK_PRINT_SETTINGS_OUTPUT_BIN
 gtk_print_settings_get_output_bin
 gtk_print_settings_set_output_bin
+GTK_PRINT_SETTINGS_OUTPUT_DIR
+GTK_PRINT_SETTINGS_OUTPUT_BASENAME
 GTK_PRINT_SETTINGS_OUTPUT_FILE_FORMAT
 GTK_PRINT_SETTINGS_OUTPUT_URI
 GTK_PRINT_SETTINGS_WIN32_DRIVER_EXTRA