GtkAda is an Ada binding to Gtk.

PR:		23138
Submitted by:	Samuel Tardieu <sam@inf.enst.fr>

1 files changed, 603 insertions, 0 deletions

diff --git a/x11-toolkits/gtkada/pkg-plist b/x11-toolkits/gtkada/pkg-plist
new file mode 100644
index 000000000000..b952529844ae
--- /dev/null
+++ b/x11-toolkits/gtkada/pkg-plist
@@ -0,0 +1,603 @@
+@exec /sbin/ldconfig -m %D/lib
+@unexec /sbin/ldconfig -R
+bin/gate-in.exe
+bin/dgate
+bin/gdialog
+bin/gtkada-config
+bin/gate
+lib/libgtkada.a
+lib/libgtkada-1.2.so.10
+lib/libgtkada_gl.a
+lib/libgtkada_gl-1.2.so.10
+lib/libgtkada_art.a
+lib/libgtkada_art-1.2.so.10
+include/gtkada/glib-enums.ads
+include/gtkada/glib-xml.adb
+include/gtkada/glib-gslist.adb
+include/gtkada/glib-gnodes.adb
+include/gtkada/glib-glist.adb
+include/gtkada/glib-glade.adb
+include/gtkada/glib.ads
+include/gtkada/glib-xml.ads
+include/gtkada/glib-gslist.ads
+include/gtkada/glib-gnodes.ads
+include/gtkada/glib-glist.ads
+include/gtkada/glib-glade.ads
+include/gtkada/glib.adb
+include/gtkada/gdk-bitmap.ads
+include/gtkada/gdk-window.adb
+include/gtkada/gdk-visual.adb
+include/gtkada/gdk-rgb.adb
+include/gtkada/gdk-region.adb
+include/gtkada/gdk-rectangle.adb
+include/gtkada/gdk-property.adb
+include/gtkada/gdk-pixmap.adb
+include/gtkada/gdk-main.adb
+include/gtkada/gdk-keyval.adb
+include/gtkada/gdk-image.adb
+include/gtkada/gdk-gc.adb
+include/gtkada/gdk-font.adb
+include/gtkada/gdk-event.adb
+include/gtkada/gdk-drawable.adb
+include/gtkada/gdk-cursor.adb
+include/gtkada/gdk-color_context.adb
+include/gtkada/gdk-color.adb
+include/gtkada/gdk-bitmap.adb
+include/gtkada/gdk.ads
+include/gtkada/gdk-window_attr.ads
+include/gtkada/gdk-window.ads
+include/gtkada/gdk-visual.ads
+include/gtkada/gdk-types.ads
+include/gtkada/gdk-types-keysyms.ads
+include/gtkada/gdk-threads.ads
+include/gtkada/gdk-rgb.ads
+include/gtkada/gdk-region.ads
+include/gtkada/gdk-rectangle.ads
+include/gtkada/gdk-property.ads
+include/gtkada/gdk-pixmap.ads
+include/gtkada/gdk-main.ads
+include/gtkada/gdk-keyval.ads
+include/gtkada/gdk-input.ads
+include/gtkada/gdk-image.ads
+include/gtkada/gdk-gc.ads
+include/gtkada/gdk-font.ads
+include/gtkada/gdk-event.ads
+include/gtkada/gdk-drawable.ads
+include/gtkada/gdk-cursor.ads
+include/gtkada/gdk-color_context.ads
+include/gtkada/gdk-color.ads
+include/gtkada/gdk-window_attr.adb
+include/gtkada/gtk-accel_group.ads
+include/gtkada/gtkada-intl.adb
+include/gtkada/gtkada-file_selection.adb
+include/gtkada/gtkada-dialogs.adb
+include/gtkada/gtk.adb
+include/gtkada/gtkada-canvas.adb
+include/gtkada/gtk-window.adb
+include/gtkada/gtk-widget.adb
+include/gtkada/gtk-viewport.adb
+include/gtkada/gtk-vbutton_box.adb
+include/gtkada/gtk-util.adb
+include/gtkada/gtk-type_conversion_hooks.adb
+include/gtkada/gtk-type_conversion.adb
+include/gtkada/gtk-tree_item.adb
+include/gtkada/gtk-tree.adb
+include/gtkada/gtk-tooltips.adb
+include/gtkada/gtk-toolbar.adb
+include/gtkada/gtk-toggle_button.adb
+include/gtkada/gtk-tips_query.adb
+include/gtkada/gtk-text.adb
+include/gtkada/gtk-tearoff_menu_item.adb
+include/gtkada/gtk-table.adb
+include/gtkada/gtk-style.adb
+include/gtkada/gtk-status_bar.adb
+include/gtkada/gtk-spin_button.adb
+include/gtkada/gtk-socket.adb
+include/gtkada/gtk-signal.adb
+include/gtkada/gtk-separator.adb
+include/gtkada/gtk-selection.adb
+include/gtkada/gtk-scrolled_window.adb
+include/gtkada/gtk-scrollbar.adb
+include/gtkada/gtk-scale.adb
+include/gtkada/gtk-ruler.adb
+include/gtkada/gtk-rc.adb
+include/gtkada/gtk-radio_menu_item.adb
+include/gtkada/gtk-radio_button.adb
+include/gtkada/gtk-progress_bar.adb
+include/gtkada/gtk-progress.adb
+include/gtkada/gtk-preview.adb
+include/gtkada/gtk-plug.adb
+include/gtkada/gtk-pixmap.adb
+include/gtkada/gtk-paned.adb
+include/gtkada/gtk-packer.adb
+include/gtkada/gtk-option_menu.adb
+include/gtkada/gtk-object.adb
+include/gtkada/gtk-notebook.adb
+include/gtkada/gtk-misc.adb
+include/gtkada/gtk-menu_shell.adb
+include/gtkada/gtk-menu_item.adb
+include/gtkada/gtk-menu_bar.adb
+include/gtkada/gtk-menu.adb
+include/gtkada/gtk-marshallers.adb
+include/gtkada/gtk-main.adb
+include/gtkada/gtk-macro.adb
+include/gtkada/gtk-list_item.adb
+include/gtkada/gtk-list.adb
+include/gtkada/gtk-layout.adb
+include/gtkada/gtk-label.adb
+include/gtkada/gtk-item_factory.adb
+include/gtkada/gtk-item.adb
+include/gtkada/gtk-invisible.adb
+include/gtkada/gtk.ads
+include/gtkada/gtk-input_dialog.adb
+include/gtkada/gtk-image.adb
+include/gtkada/gtk-hbutton_box.adb
+include/gtkada/gtk-handlers.adb
+include/gtkada/gtk-handle_box.adb
+include/gtkada/gtk-grange.adb
+include/gtkada/gtk-glade.adb
+include/gtkada/gtk-gentry.adb
+include/gtkada/gtk-gamma_curve.adb
+include/gtkada/gtk-frame.adb
+include/gtkada/gtk-font_selection.adb
+include/gtkada/gtk-fixed.adb
+include/gtkada/gtk-file_selection.adb
+include/gtkada/gtk-extra-sheet.adb
+include/gtkada/gtk-extra-psfont.adb
+include/gtkada/gtk-extra-plot_ps.adb
+include/gtkada/gtk-extra-plot_canvas.adb
+include/gtkada/gtk-extra-plot.adb
+include/gtkada/gtk-extra-item_entry.adb
+include/gtkada/gtk-extra-font_combo.adb
+include/gtkada/gtk-extra-combo_box.adb
+include/gtkada/gtk-extra-color_combo.adb
+include/gtkada/gtk-extra-check_item.adb
+include/gtkada/gtk-extra-border_combo.adb
+include/gtkada/gtk-event_box.adb
+include/gtkada/gtk-enums.adb
+include/gtkada/gtk-editable.adb
+include/gtkada/gtk-drawing_area.adb
+include/gtkada/gtk-dnd.adb
+include/gtkada/gtk-dialog.adb
+include/gtkada/gtk-curve.adb
+include/gtkada/gtk-ctree.adb
+include/gtkada/gtk-container.adb
+include/gtkada/gtk-combo.adb
+include/gtkada/gtk-color_selection_dialog.adb
+include/gtkada/gtk-color_selection.adb
+include/gtkada/gtk-clist.adb
+include/gtkada/gtk-check_menu_item.adb
+include/gtkada/gtk-check_button.adb
+include/gtkada/gtk-calendar.adb
+include/gtkada/gtk-button_box.adb
+include/gtkada/gtk-button.adb
+include/gtkada/gtk-box.adb
+include/gtkada/gtk-bin.adb
+include/gtkada/gtk-aspect_frame.adb
+include/gtkada/gtk-arrow.adb
+include/gtkada/gtk-arguments.adb
+include/gtkada/gtk-alignment.adb
+include/gtkada/gtk-adjustment.adb
+include/gtkada/gtk-accel_label.adb
+include/gtkada/gtk-accel_group.adb
+include/gtkada/gtkada.ads
+include/gtkada/gtkada-types.ads
+include/gtkada/gtkada-pixmaps.ads
+include/gtkada/gtkada-intl.ads
+include/gtkada/gtkada-handlers.ads
+include/gtkada/gtkada-file_selection.ads
+include/gtkada/gtkada-dialogs.ads
+include/gtkada/gtkada-canvas.ads
+include/gtkada/gtk-window.ads
+include/gtkada/gtk-widget.ads
+include/gtkada/gtk-viewport.ads
+include/gtkada/gtk-vbutton_box.ads
+include/gtkada/gtk-util.ads
+include/gtkada/gtk-type_conversion_hooks.ads
+include/gtkada/gtk-type_conversion.ads
+include/gtkada/gtk-tree_item.ads
+include/gtkada/gtk-tree.ads
+include/gtkada/gtk-tooltips.ads
+include/gtkada/gtk-toolbar.ads
+include/gtkada/gtk-toggle_button.ads
+include/gtkada/gtk-tips_query.ads
+include/gtkada/gtk-text.ads
+include/gtkada/gtk-tearoff_menu_item.ads
+include/gtkada/gtk-table.ads
+include/gtkada/gtk-style.ads
+include/gtkada/gtk-status_bar.ads
+include/gtkada/gtk-spin_button.ads
+include/gtkada/gtk-socket.ads
+include/gtkada/gtk-signal.ads
+include/gtkada/gtk-separator.ads
+include/gtkada/gtk-selection.ads
+include/gtkada/gtk-scrolled_window.ads
+include/gtkada/gtk-scrollbar.ads
+include/gtkada/gtk-scale.ads
+include/gtkada/gtk-ruler.ads
+include/gtkada/gtk-rc.ads
+include/gtkada/gtk-radio_menu_item.ads
+include/gtkada/gtk-radio_button.ads
+include/gtkada/gtk-progress_bar.ads
+include/gtkada/gtk-dnd.ads
+include/gtkada/gtk-progress.ads
+include/gtkada/gtk-preview.ads
+include/gtkada/gtk-plug.ads
+include/gtkada/gtk-pixmap.ads
+include/gtkada/gtk-paned.ads
+include/gtkada/gtk-packer.ads
+include/gtkada/gtk-option_menu.ads
+include/gtkada/gtk-object.ads
+include/gtkada/gtk-notebook.ads
+include/gtkada/gtk-misc.ads
+include/gtkada/gtk-menu_shell.ads
+include/gtkada/gtk-menu_item.ads
+include/gtkada/gtk-menu_bar.ads
+include/gtkada/gtk-menu.ads
+include/gtkada/gtk-marshallers.ads
+include/gtkada/gtk-main.ads
+include/gtkada/gtk-macro.ads
+include/gtkada/gtk-list_item.ads
+include/gtkada/gtk-list.ads
+include/gtkada/gtk-layout.ads
+include/gtkada/gtk-label.ads
+include/gtkada/gtk-item_factory.ads
+include/gtkada/gtk-item.ads
+include/gtkada/gtk-invisible.ads
+include/gtkada/gtk-input_dialog.ads
+include/gtkada/gtk-image.ads
+include/gtkada/gtk-hbutton_box.ads
+include/gtkada/gtk-handlers.ads
+include/gtkada/gtk-handle_box.ads
+include/gtkada/gtk-grange.ads
+include/gtkada/gtk-glade.ads
+include/gtkada/gtk-gentry.ads
+include/gtkada/gtk-gamma_curve.ads
+include/gtkada/gtk-frame.ads
+include/gtkada/gtk-font_selection_dialog.ads
+include/gtkada/gtk-font_selection.ads
+include/gtkada/gtk-fixed.ads
+include/gtkada/gtk-file_selection.ads
+include/gtkada/gtk-extra.ads
+include/gtkada/gtk-extra-sheet.ads
+include/gtkada/gtk-extra-psfont.ads
+include/gtkada/gtk-extra-plot_ps.ads
+include/gtkada/gtk-extra-plot_canvas.ads
+include/gtkada/gtk-extra-plot.ads
+include/gtkada/gtk-extra-item_entry.ads
+include/gtkada/gtk-extra-font_combo.ads
+include/gtkada/gtk-extra-combo_box.ads
+include/gtkada/gtk-extra-color_combo.ads
+include/gtkada/gtk-extra-check_item.ads
+include/gtkada/gtk-extra-border_combo.ads
+include/gtkada/gtk-event_box.ads
+include/gtkada/gtk-enums.ads
+include/gtkada/gtk-editable.ads
+include/gtkada/gtk-drawing_area.ads
+include/gtkada/gtk-dialog.ads
+include/gtkada/gtk-data.ads
+include/gtkada/gtk-curve.ads
+include/gtkada/gtk-ctree.ads
+include/gtkada/gtk-container.ads
+include/gtkada/gtk-combo.ads
+include/gtkada/gtk-color_selection_dialog.ads
+include/gtkada/gtk-color_selection.ads
+include/gtkada/gtk-clist.ads
+include/gtkada/gtk-check_menu_item.ads
+include/gtkada/gtk-check_button.ads
+include/gtkada/gtk-calendar.ads
+include/gtkada/gtk-button_box.ads
+include/gtkada/gtk-button.ads
+include/gtkada/gtk-box.ads
+include/gtkada/gtk-bin.ads
+include/gtkada/gtk-aspect_frame.ads
+include/gtkada/gtk-arrow.ads
+include/gtkada/gtk-arguments.ads
+include/gtkada/gtk-alignment.ads
+include/gtkada/gtk-adjustment.ads
+include/gtkada/gtk-accel_label.ads
+include/gtkada/gtkada-types.adb
+include/gtkada/glib-enums.ali
+include/gtkada/gtkada-types.ali
+include/gtkada/gtkada-pixmaps.ali
+include/gtkada/gtkada-intl.ali
+include/gtkada/gtkada-handlers.ali
+include/gtkada/gtkada-file_selection.ali
+include/gtkada/gtkada-dialogs.ali
+include/gtkada/gtkada-canvas.ali
+include/gtkada/gtk.ali
+include/gtkada/gtk-window.ali
+include/gtkada/gtk-widget.ali
+include/gtkada/gtk-viewport.ali
+include/gtkada/gtk-vbutton_box.ali
+include/gtkada/gtk-util.ali
+include/gtkada/gtk-type_conversion.ali
+include/gtkada/gtk-type_conversion_hooks.ali
+include/gtkada/gtk-tree_item.ali
+include/gtkada/gtk-tree.ali
+include/gtkada/gtk-tooltips.ali
+include/gtkada/gtk-toolbar.ali
+include/gtkada/gtk-toggle_button.ali
+include/gtkada/gtk-tips_query.ali
+include/gtkada/gtk-text.ali
+include/gtkada/gtk-tearoff_menu_item.ali
+include/gtkada/gtk-table.ali
+include/gtkada/gtk-style.ali
+include/gtkada/gtk-status_bar.ali
+include/gtkada/gtk-spin_button.ali
+include/gtkada/gtk-socket.ali
+include/gtkada/gtk-signal.ali
+include/gtkada/gtk-separator.ali
+include/gtkada/gtk-selection.ali
+include/gtkada/gtk-scrolled_window.ali
+include/gtkada/gtk-scrollbar.ali
+include/gtkada/gtk-scale.ali
+include/gtkada/gtk-ruler.ali
+include/gtkada/gtk-rc.ali
+include/gtkada/gtk-radio_menu_item.ali
+include/gtkada/gtk-radio_button.ali
+include/gtkada/gtk-progress_bar.ali
+include/gtkada/gtk-progress.ali
+include/gtkada/gtk-preview.ali
+include/gtkada/gtk-plug.ali
+include/gtkada/gtk-pixmap.ali
+include/gtkada/gtk-paned.ali
+include/gtkada/gtk-packer.ali
+include/gtkada/gtk-option_menu.ali
+include/gtkada/gtk-object.ali
+include/gtkada/gtk-notebook.ali
+include/gtkada/gtk-misc.ali
+include/gtkada/gtk-menu_shell.ali
+include/gtkada/gtk-menu_item.ali
+include/gtkada/gtk-menu_bar.ali
+include/gtkada/gtk-menu.ali
+include/gtkada/gtk-marshallers.ali
+include/gtkada/gtk-main.ali
+include/gtkada/gtk-list_item.ali
+include/gtkada/gtk-list.ali
+include/gtkada/gtk-layout.ali
+include/gtkada/gtk-label.ali
+include/gtkada/gtk-item_factory.ali
+include/gtkada/gtk-item.ali
+include/gtkada/gtk-invisible.ali
+include/gtkada/gtk-input_dialog.ali
+include/gtkada/gtk-image.ali
+include/gtkada/gtk-hbutton_box.ali
+include/gtkada/gtk-handlers.ali
+include/gtkada/gtk-handle_box.ali
+include/gtkada/gtk-grange.ali
+include/gtkada/gtk-glade.ali
+include/gtkada/gtk-gentry.ali
+include/gtkada/gtk-gamma_curve.ali
+include/gtkada/gtk-frame.ali
+include/gtkada/gtk-font_selection_dialog.ali
+include/gtkada/gtk-font_selection.ali
+include/gtkada/gtk-fixed.ali
+include/gtkada/gtk-file_selection.ali
+include/gtkada/gtk-extra.ali
+include/gtkada/gtk-extra-sheet.ali
+include/gtkada/gtk-extra-psfont.ali
+include/gtkada/gtk-extra-plot_ps.ali
+include/gtkada/gtk-extra-plot_canvas.ali
+include/gtkada/gtk-extra-plot.ali
+include/gtkada/gtk-extra-item_entry.ali
+include/gtkada/gtk-extra-font_combo.ali
+include/gtkada/gtk-extra-combo_box.ali
+include/gtkada/gtk-extra-color_combo.ali
+include/gtkada/gtk-extra-check_item.ali
+include/gtkada/gtk-extra-border_combo.ali
+include/gtkada/gtk-event_box.ali
+include/gtkada/gtk-enums.ali
+include/gtkada/gtk-editable.ali
+include/gtkada/gtk-drawing_area.ali
+include/gtkada/gtk-dnd.ali
+include/gtkada/gtk-dialog.ali
+include/gtkada/gtk-data.ali
+include/gtkada/gtk-curve.ali
+include/gtkada/gtk-ctree.ali
+include/gtkada/gtk-container.ali
+include/gtkada/gtk-combo.ali
+include/gtkada/gtk-color_selection_dialog.ali
+include/gtkada/gtk-color_selection.ali
+include/gtkada/gtk-clist.ali
+include/gtkada/gtk-check_menu_item.ali
+include/gtkada/gtk-check_button.ali
+include/gtkada/gtk-calendar.ali
+include/gtkada/gtk-button_box.ali
+include/gtkada/gtk-button.ali
+include/gtkada/gtk-box.ali
+include/gtkada/gtk-bin.ali
+include/gtkada/gtk-aspect_frame.ali
+include/gtkada/gtk-arrow.ali
+include/gtkada/gtk-arguments.ali
+include/gtkada/gtk-alignment.ali
+include/gtkada/gtk-adjustment.ali
+include/gtkada/gtk-accel_label.ali
+include/gtkada/gtk-accel_group.ali
+include/gtkada/gdk.ali
+include/gtkada/gdk-window_attr.ali
+include/gtkada/gdk-window.ali
+include/gtkada/gdk-visual.ali
+include/gtkada/gdk-types.ali
+include/gtkada/gdk-types-keysyms.ali
+include/gtkada/gdk-threads.ali
+include/gtkada/gdk-rgb.ali
+include/gtkada/gdk-region.ali
+include/gtkada/gdk-rectangle.ali
+include/gtkada/gdk-property.ali
+include/gtkada/gdk-pixmap.ali
+include/gtkada/gdk-main.ali
+include/gtkada/gdk-keyval.ali
+include/gtkada/gdk-input.ali
+include/gtkada/gdk-image.ali
+include/gtkada/gdk-gc.ali
+include/gtkada/gdk-font.ali
+include/gtkada/gdk-event.ali
+include/gtkada/gdk-drawable.ali
+include/gtkada/gdk-cursor.ali
+include/gtkada/gdk-color_context.ali
+include/gtkada/gdk-color.ali
+include/gtkada/gdk-bitmap.ali
+include/gtkada/glib.ali
+include/gtkada/glib-xml.ali
+include/gtkada/glib-gslist.ali
+include/gtkada/glib-gnodes.ali
+include/gtkada/gtkada.ali
+include/gtkada/glib-glist.ali
+include/gtkada/glib-glade.ali
+include/gtkada/glu_h.ads
+include/gtkada/gl_h.ads
+include/gtkada/gdk-gl.adb
+include/gtkada/gdk-gl.ads
+include/gtkada/gtk-glarea.adb
+include/gtkada/gtk-glarea.ads
+include/gtkada/gtk-glarea.ali
+include/gtkada/gdk-gl.ali
+include/gtkada/gdk-pixbuf.adb
+include/gtkada/gdk-pixbuf.ads
+include/gtkada/gdk-art.ads
+include/gtkada/gdk-art-pixbuf.ads
+include/gtkada/gdk-pixbuf.ali
+include/gtkada/gdk-art.ali
+include/gtkada/gdk-art-pixbuf.ali
+info/gtkada_rm.info
+info/gtkada_rm.info-1
+info/gtkada_rm.info-10
+info/gtkada_rm.info-11
+info/gtkada_rm.info-12
+info/gtkada_rm.info-13
+info/gtkada_rm.info-14
+info/gtkada_rm.info-15
+info/gtkada_rm.info-16
+info/gtkada_rm.info-2
+info/gtkada_rm.info-3
+info/gtkada_rm.info-4
+info/gtkada_rm.info-5
+info/gtkada_rm.info-6
+info/gtkada_rm.info-7
+info/gtkada_rm.info-8
+info/gtkada_rm.info-9
+share/doc/gtkada/gtkada_rm.ps
+share/doc/gtkada/gtkada_rm_1.html
+share/doc/gtkada/gtkada_rm_10.html
+share/doc/gtkada/gtkada_rm_100.html
+share/doc/gtkada/gtkada_rm_101.html
+share/doc/gtkada/gtkada_rm_102.html
+share/doc/gtkada/gtkada_rm_103.html
+share/doc/gtkada/gtkada_rm_104.html
+share/doc/gtkada/gtkada_rm_105.html
+share/doc/gtkada/gtkada_rm_106.html
+share/doc/gtkada/gtkada_rm_107.html
+share/doc/gtkada/gtkada_rm_108.html
+share/doc/gtkada/gtkada_rm_109.html
+share/doc/gtkada/gtkada_rm_11.html
+share/doc/gtkada/gtkada_rm_110.html
+share/doc/gtkada/gtkada_rm_111.html
+share/doc/gtkada/gtkada_rm_112.html
+share/doc/gtkada/gtkada_rm_113.html
+share/doc/gtkada/gtkada_rm_114.html
+share/doc/gtkada/gtkada_rm_12.html
+share/doc/gtkada/gtkada_rm_13.html
+share/doc/gtkada/gtkada_rm_14.html
+share/doc/gtkada/gtkada_rm_15.html
+share/doc/gtkada/gtkada_rm_16.html
+share/doc/gtkada/gtkada_rm_17.html
+share/doc/gtkada/gtkada_rm_18.html
+share/doc/gtkada/gtkada_rm_19.html
+share/doc/gtkada/gtkada_rm_2.html
+share/doc/gtkada/gtkada_rm_20.html
+share/doc/gtkada/gtkada_rm_21.html
+share/doc/gtkada/gtkada_rm_22.html
+share/doc/gtkada/gtkada_rm_23.html
+share/doc/gtkada/gtkada_rm_24.html
+share/doc/gtkada/gtkada_rm_25.html
+share/doc/gtkada/gtkada_rm_26.html
+share/doc/gtkada/gtkada_rm_27.html
+share/doc/gtkada/gtkada_rm_28.html
+share/doc/gtkada/gtkada_rm_29.html
+share/doc/gtkada/gtkada_rm_3.html
+share/doc/gtkada/gtkada_rm_30.html
+share/doc/gtkada/gtkada_rm_31.html
+share/doc/gtkada/gtkada_rm_32.html
+share/doc/gtkada/gtkada_rm_33.html
+share/doc/gtkada/gtkada_rm_34.html
+share/doc/gtkada/gtkada_rm_35.html
+share/doc/gtkada/gtkada_rm_36.html
+share/doc/gtkada/gtkada_rm_37.html
+share/doc/gtkada/gtkada_rm_38.html
+share/doc/gtkada/gtkada_rm_39.html
+share/doc/gtkada/gtkada_rm_4.html
+share/doc/gtkada/gtkada_rm_40.html
+share/doc/gtkada/gtkada_rm_41.html
+share/doc/gtkada/gtkada_rm_42.html
+share/doc/gtkada/gtkada_rm_43.html
+share/doc/gtkada/gtkada_rm_44.html
+share/doc/gtkada/gtkada_rm_45.html
+share/doc/gtkada/gtkada_rm_46.html
+share/doc/gtkada/gtkada_rm_47.html
+share/doc/gtkada/gtkada_rm_48.html
+share/doc/gtkada/gtkada_rm_49.html
+share/doc/gtkada/gtkada_rm_5.html
+share/doc/gtkada/gtkada_rm_50.html
+share/doc/gtkada/gtkada_rm_51.html
+share/doc/gtkada/gtkada_rm_52.html
+share/doc/gtkada/gtkada_rm_53.html
+share/doc/gtkada/gtkada_rm_54.html
+share/doc/gtkada/gtkada_rm_55.html
+share/doc/gtkada/gtkada_rm_56.html
+share/doc/gtkada/gtkada_rm_57.html
+share/doc/gtkada/gtkada_rm_58.html
+share/doc/gtkada/gtkada_rm_59.html
+share/doc/gtkada/gtkada_rm_6.html
+share/doc/gtkada/gtkada_rm_60.html
+share/doc/gtkada/gtkada_rm_61.html
+share/doc/gtkada/gtkada_rm_62.html
+share/doc/gtkada/gtkada_rm_63.html
+share/doc/gtkada/gtkada_rm_64.html
+share/doc/gtkada/gtkada_rm_65.html
+share/doc/gtkada/gtkada_rm_66.html
+share/doc/gtkada/gtkada_rm_67.html
+share/doc/gtkada/gtkada_rm_68.html
+share/doc/gtkada/gtkada_rm_69.html
+share/doc/gtkada/gtkada_rm_7.html
+share/doc/gtkada/gtkada_rm_70.html
+share/doc/gtkada/gtkada_rm_71.html
+share/doc/gtkada/gtkada_rm_72.html
+share/doc/gtkada/gtkada_rm_73.html
+share/doc/gtkada/gtkada_rm_74.html
+share/doc/gtkada/gtkada_rm_75.html
+share/doc/gtkada/gtkada_rm_76.html
+share/doc/gtkada/gtkada_rm_77.html
+share/doc/gtkada/gtkada_rm_78.html
+share/doc/gtkada/gtkada_rm_79.html
+share/doc/gtkada/gtkada_rm_8.html
+share/doc/gtkada/gtkada_rm_80.html
+share/doc/gtkada/gtkada_rm_81.html
+share/doc/gtkada/gtkada_rm_82.html
+share/doc/gtkada/gtkada_rm_83.html
+share/doc/gtkada/gtkada_rm_84.html
+share/doc/gtkada/gtkada_rm_85.html
+share/doc/gtkada/gtkada_rm_86.html
+share/doc/gtkada/gtkada_rm_87.html
+share/doc/gtkada/gtkada_rm_88.html
+share/doc/gtkada/gtkada_rm_89.html
+share/doc/gtkada/gtkada_rm_9.html
+share/doc/gtkada/gtkada_rm_90.html
+share/doc/gtkada/gtkada_rm_91.html
+share/doc/gtkada/gtkada_rm_92.html
+share/doc/gtkada/gtkada_rm_93.html
+share/doc/gtkada/gtkada_rm_94.html
+share/doc/gtkada/gtkada_rm_95.html
+share/doc/gtkada/gtkada_rm_96.html
+share/doc/gtkada/gtkada_rm_97.html
+share/doc/gtkada/gtkada_rm_98.html
+share/doc/gtkada/gtkada_rm_99.html
+share/doc/gtkada/gtkada_rm_stoc.html
+share/doc/gtkada/gtkada_rm_toc.html
+share/doc/gtkada/gtkada_ug.ps
+share/doc/gtkada/gtkada_ug.html
+info/gtkada_ug.info
+info/gtkada_ug.info-1
+info/gtkada_ug.info-2
+@dirrm include/gtkada
+@dirrm share/doc/gtkada