summaryrefslogtreecommitdiff
path: root/x11/gtkada
diff options
context:
space:
mode:
authormarino <marino@pkgsrc.org>2011-10-14 14:02:17 +0000
committermarino <marino@pkgsrc.org>2011-10-14 14:02:17 +0000
commitb7a34fc9c959fa2439ecc298c1737dc1d66540be (patch)
tree08ba0b2fe38102134810ce117d2cdee9e5cd3fa5 /x11/gtkada
parentdfef287860826e46910810844ea633e4772f1806 (diff)
downloadpkgsrc-b7a34fc9c959fa2439ecc298c1737dc1d66540be.tar.gz
x11/gtkada: Add user guide and reference manual documentation
The majority of the documentation for gtkada was not getting built. It turns out that the generation step was omitted from the vendor Makefile. For the user guide, simply adding this to the top-level makefile fixes the problem, but the reference manual is the reason it was omitted. The RM requires Gnat Programming Studio built with Python to generate the documentation. This created a circular dependency because GPS requires gtkada to build and python is optional. Secondly, pkgsrc-built python verions 26 and 27 both cause GPS to core dump. FreeBSD doesn't have this issue, but it has a different python problem that prevents the documentation from getting built manually on that system as well. In the end, the latest generated RM was pulled from libre.adacore.com online resources and packaged separately. This is not ideal because it represents gtkada 2.24 which has a couple of API differences from 2.22, but it's the only full html version of the RM that can be located. Rebuilding gtkada will result in the gtkada User Guild and Reference Manual showing up in the <help> menu of GPS. Currently the gtkada submenu item has an empty submenu.
Diffstat (limited to 'x11/gtkada')
-rw-r--r--x11/gtkada/Makefile10
-rw-r--r--x11/gtkada/PLIST1029
-rw-r--r--x11/gtkada/distinfo11
-rw-r--r--x11/gtkada/patches/patch-af12
-rw-r--r--x11/gtkada/patches/patch-ag22
-rw-r--r--x11/gtkada/patches/patch-ah22
-rw-r--r--x11/gtkada/patches/patch-be17
-rw-r--r--x11/gtkada/patches/patch-bf17
8 files changed, 1111 insertions, 29 deletions
diff --git a/x11/gtkada/Makefile b/x11/gtkada/Makefile
index ff397481b51..9ec6003ce67 100644
--- a/x11/gtkada/Makefile
+++ b/x11/gtkada/Makefile
@@ -1,12 +1,14 @@
-# $NetBSD: Makefile,v 1.3 2011/10/09 23:57:09 marino Exp $
+# $NetBSD: Makefile,v 1.4 2011/10/14 14:02:17 marino Exp $
#
-DISTNAME= gtkada-2.22
+DISTNAME= gtkada-${GTKADA_VERSION}
PKGREVISION= 1
CATEGORIES= x11
MASTER_SITES= http://downloads.dragonlace.net/src/ \
http://dragonlace.mirrors.ada.cx/src/
EXTRACT_SUFX= .tar.bz2
+DISTFILES= ${DISTNAME}${EXTRACT_SUFX}
+DISTFILES+= gtkada-rm-${GTKADA_VERSION}${EXTRACT_SUFX}
MAINTAINER= draco@marino.st
HOMEPAGE= http://libre.adacore.com/libre/tools/gtkada/
@@ -16,9 +18,10 @@ LICENSE= gnu-gpl-v2
PKG_DESTDIR_SUPPORT= user-destdir
GNU_CONFIGURE= yes
-USE_TOOLS+= gmake pkg-config
+USE_TOOLS+= gmake pkg-config perl makeinfo
MAKE_JOBS_SAFE= no
+GTKADA_VERSION= 2.22
FULL_PATH= /sbin:/bin:/usr/sbin:/usr/bin:${PREFIX}/sbin:${PREFIX}/bin:${PREFIX}/lib/pkgconfig
MY_CONFIGURE_ENV= PATH=${FULL_PATH}
MY_CONFIGURE_ENV+= CC=gnatgcc
@@ -39,7 +42,6 @@ do-configure:
post-install:
${TOUCH} ${DESTDIR}${PREFIX}/lib/gnat/gtkada/IGNORE.ME
- ${TOUCH} ${DESTDIR}${PREFIX}/share/doc/gtkada/gtkada_rm/IGNORE.ME
# gtk2 includes atk, glib and pango among others
.include "../../x11/gtk2/buildlink3.mk"
diff --git a/x11/gtkada/PLIST b/x11/gtkada/PLIST
index c70f0edab28..8b5a3247ff4 100644
--- a/x11/gtkada/PLIST
+++ b/x11/gtkada/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.1.1.1 2011/02/03 18:57:15 drochner Exp $
+@comment $NetBSD: PLIST,v 1.2 2011/10/14 14:02:17 marino Exp $
bin/gate
bin/gate-in.exe
bin/gtkada-config
@@ -1129,10 +1129,1035 @@ lib/gtkada/static/pango.ali
lib/lib${PKGNAME}.so.0
lib/libgtkada.so
lib/pkgconfig/gtkada.pc
-share/doc/gtkada/gtkada_rm/IGNORE.ME
+share/doc/gtkada/gtkada_rm/cairo-font_face.ads.html
+share/doc/gtkada/gtkada_rm/cairo-font_options.ads.html
+share/doc/gtkada/gtkada_rm/cairo-image_surface.ads.html
+share/doc/gtkada/gtkada_rm/cairo-matrix.ads.html
+share/doc/gtkada/gtkada_rm/cairo-pattern.ads.html
+share/doc/gtkada/gtkada_rm/cairo-pdf.ads.html
+share/doc/gtkada/gtkada_rm/cairo-png.ads.html
+share/doc/gtkada/gtkada_rm/cairo-region.ads.html
+share/doc/gtkada/gtkada_rm/cairo-scaled_font.ads.html
+share/doc/gtkada/gtkada_rm/cairo-surface.ads.html
+share/doc/gtkada/gtkada_rm/cairo-svg.ads.html
+share/doc/gtkada/gtkada_rm/cairo.ads.html
+share/doc/gtkada/gtkada_rm/gdk-bitmap.ads.html
+share/doc/gtkada/gtkada_rm/gdk-cairo.ads.html
+share/doc/gtkada/gtkada_rm/gdk-color.ads.html
+share/doc/gtkada/gtkada_rm/gdk-cursor.ads.html
+share/doc/gtkada/gtkada_rm/gdk-display.ads.html
+share/doc/gtkada/gtkada_rm/gdk-display_manager.ads.html
+share/doc/gtkada/gtkada_rm/gdk-dnd.ads.html
+share/doc/gtkada/gtkada_rm/gdk-drawable.ads.html
+share/doc/gtkada/gtkada_rm/gdk-event.ads.html
+share/doc/gtkada/gtkada_rm/gdk-font.ads.html
+share/doc/gtkada/gtkada_rm/gdk-gc.ads.html
+share/doc/gtkada/gtkada_rm/gdk-image.ads.html
+share/doc/gtkada/gtkada_rm/gdk-input.ads-2.html
+share/doc/gtkada/gtkada_rm/gdk-input.ads.html
+share/doc/gtkada/gtkada_rm/gdk-keyval.ads.html
+share/doc/gtkada/gtkada_rm/gdk-main.ads.html
+share/doc/gtkada/gtkada_rm/gdk-pixbuf.ads.html
+share/doc/gtkada/gtkada_rm/gdk-pixmap.ads.html
+share/doc/gtkada/gtkada_rm/gdk-property.ads.html
+share/doc/gtkada/gtkada_rm/gdk-rectangle.ads.html
+share/doc/gtkada/gtkada_rm/gdk-region.ads.html
+share/doc/gtkada/gtkada_rm/gdk-rgb.ads.html
+share/doc/gtkada/gtkada_rm/gdk-screen.ads.html
+share/doc/gtkada/gtkada_rm/gdk-threads.ads.html
+share/doc/gtkada/gtkada_rm/gdk-types-keysyms.ads.html
+share/doc/gtkada/gtkada_rm/gdk-types.ads.html
+share/doc/gtkada/gtkada_rm/gdk-visual.ads.html
+share/doc/gtkada/gtkada_rm/gdk-window.ads.html
+share/doc/gtkada/gtkada_rm/gdk-window_attr.ads.html
+share/doc/gtkada/gtkada_rm/gdk.ads.html
+share/doc/gtkada/gtkada_rm/glib-convert.ads.html
+share/doc/gtkada/gtkada_rm/glib-enums.ads.html
+share/doc/gtkada/gtkada_rm/glib-error.ads.html
+share/doc/gtkada/gtkada_rm/glib-g_icon.ads.html
+share/doc/gtkada/gtkada_rm/glib-generic_properties.ads-2.html
+share/doc/gtkada/gtkada_rm/glib-generic_properties.ads-3.html
+share/doc/gtkada/gtkada_rm/glib-generic_properties.ads-4.html
+share/doc/gtkada/gtkada_rm/glib-generic_properties.ads-5.html
+share/doc/gtkada/gtkada_rm/glib-generic_properties.ads.html
+share/doc/gtkada/gtkada_rm/glib-glist.ads-2.html
+share/doc/gtkada/gtkada_rm/glib-glist.ads.html
+share/doc/gtkada/gtkada_rm/glib-gnodes.ads-2.html
+share/doc/gtkada/gtkada_rm/glib-gnodes.ads.html
+share/doc/gtkada/gtkada_rm/glib-graphs.ads.html
+share/doc/gtkada/gtkada_rm/glib-gslist.ads-2.html
+share/doc/gtkada/gtkada_rm/glib-gslist.ads.html
+share/doc/gtkada/gtkada_rm/glib-key_file.ads.html
+share/doc/gtkada/gtkada_rm/glib-main.ads-2.html
+share/doc/gtkada/gtkada_rm/glib-main.ads.html
+share/doc/gtkada/gtkada_rm/glib-messages.ads.html
+share/doc/gtkada/gtkada_rm/glib-module.ads.html
+share/doc/gtkada/gtkada_rm/glib-object.ads-2.html
+share/doc/gtkada/gtkada_rm/glib-object.ads.html
+share/doc/gtkada/gtkada_rm/glib-properties-creation.ads.html
+share/doc/gtkada/gtkada_rm/glib-properties.ads.html
+share/doc/gtkada/gtkada_rm/glib-type_conversion_hooks.ads-2.html
+share/doc/gtkada/gtkada_rm/glib-type_conversion_hooks.ads.html
+share/doc/gtkada/gtkada_rm/glib-types.ads-2.html
+share/doc/gtkada/gtkada_rm/glib-types.ads.html
+share/doc/gtkada/gtkada_rm/glib-unicode.ads.html
+share/doc/gtkada/gtkada_rm/glib-values.ads.html
+share/doc/gtkada/gtkada_rm/glib-xml.ads.html
+share/doc/gtkada/gtkada_rm/glib-xml_int.ads.html
+share/doc/gtkada/gtkada_rm/glib.ads.html
+share/doc/gtkada/gtkada_rm/groups.html
+share/doc/gtkada/gtkada_rm/gtk-about_dialog.ads.html
+share/doc/gtkada/gtkada_rm/gtk-accel_group.ads.html
+share/doc/gtkada/gtkada_rm/gtk-accel_label.ads.html
+share/doc/gtkada/gtkada_rm/gtk-accel_map.ads.html
+share/doc/gtkada/gtkada_rm/gtk-action.ads.html
+share/doc/gtkada/gtkada_rm/gtk-action_group.ads.html
+share/doc/gtkada/gtkada_rm/gtk-activatable.ads.html
+share/doc/gtkada/gtkada_rm/gtk-adjustment.ads.html
+share/doc/gtkada/gtkada_rm/gtk-alignment.ads.html
+share/doc/gtkada/gtkada_rm/gtk-arguments.ads.html
+share/doc/gtkada/gtkada_rm/gtk-arrow.ads.html
+share/doc/gtkada/gtkada_rm/gtk-aspect_frame.ads.html
+share/doc/gtkada/gtkada_rm/gtk-assistant.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-assistant.ads.html
+share/doc/gtkada/gtkada_rm/gtk-bin.ads.html
+share/doc/gtkada/gtkada_rm/gtk-bindings.ads.html
+share/doc/gtkada/gtkada_rm/gtk-box.ads.html
+share/doc/gtkada/gtkada_rm/gtk-buildable.ads.html
+share/doc/gtkada/gtkada_rm/gtk-builder.ads.html
+share/doc/gtkada/gtkada_rm/gtk-button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-button_box.ads.html
+share/doc/gtkada/gtkada_rm/gtk-calendar.ads.html
+share/doc/gtkada/gtkada_rm/gtk-cell_editable.ads.html
+share/doc/gtkada/gtkada_rm/gtk-cell_layout.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-cell_layout.ads.html
+share/doc/gtkada/gtkada_rm/gtk-cell_renderer.ads.html
+share/doc/gtkada/gtkada_rm/gtk-cell_renderer_accel.ads.html
+share/doc/gtkada/gtkada_rm/gtk-cell_renderer_combo.ads.html
+share/doc/gtkada/gtkada_rm/gtk-cell_renderer_pixbuf.ads.html
+share/doc/gtkada/gtkada_rm/gtk-cell_renderer_progress.ads.html
+share/doc/gtkada/gtkada_rm/gtk-cell_renderer_spin.ads.html
+share/doc/gtkada/gtkada_rm/gtk-cell_renderer_text.ads.html
+share/doc/gtkada/gtkada_rm/gtk-cell_renderer_toggle.ads.html
+share/doc/gtkada/gtkada_rm/gtk-cell_view.ads.html
+share/doc/gtkada/gtkada_rm/gtk-check_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-check_menu_item.ads.html
+share/doc/gtkada/gtkada_rm/gtk-clipboard.ads.html
+share/doc/gtkada/gtkada_rm/gtk-clist.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-clist.ads.html
+share/doc/gtkada/gtkada_rm/gtk-color_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-color_selection.ads.html
+share/doc/gtkada/gtkada_rm/gtk-color_selection_dialog.ads.html
+share/doc/gtkada/gtkada_rm/gtk-combo.ads.html
+share/doc/gtkada/gtkada_rm/gtk-combo_box.ads.html
+share/doc/gtkada/gtkada_rm/gtk-combo_box_entry.ads.html
+share/doc/gtkada/gtkada_rm/gtk-container.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-container.ads.html
+share/doc/gtkada/gtkada_rm/gtk-ctree.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-ctree.ads-3.html
+share/doc/gtkada/gtkada_rm/gtk-ctree.ads.html
+share/doc/gtkada/gtkada_rm/gtk-curve.ads.html
+share/doc/gtkada/gtkada_rm/gtk-dialog.ads.html
+share/doc/gtkada/gtkada_rm/gtk-dnd.ads.html
+share/doc/gtkada/gtkada_rm/gtk-drawing_area.ads.html
+share/doc/gtkada/gtkada_rm/gtk-editable.ads.html
+share/doc/gtkada/gtkada_rm/gtk-entry_completion.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-entry_completion.ads.html
+share/doc/gtkada/gtkada_rm/gtk-enums.ads.html
+share/doc/gtkada/gtkada_rm/gtk-event_box.ads.html
+share/doc/gtkada/gtkada_rm/gtk-expander.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-border_combo.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-color_combo.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-combo_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-font_combo.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-item_entry.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot_3d.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot_bar.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot_box.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot_canvas-ellipse.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot_canvas-line.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot_canvas-pixmap.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot_canvas-plot.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot_canvas-rectangle.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot_canvas-text.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot_canvas.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot_data.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot_polar.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot_ps.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-plot_surface.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra-sheet.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-extra-sheet.ads.html
+share/doc/gtkada/gtkada_rm/gtk-extra.ads.html
+share/doc/gtkada/gtkada_rm/gtk-file_chooser.ads.html
+share/doc/gtkada/gtkada_rm/gtk-file_chooser_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-file_chooser_dialog.ads.html
+share/doc/gtkada/gtkada_rm/gtk-file_chooser_widget.ads.html
+share/doc/gtkada/gtkada_rm/gtk-file_filter.ads.html
+share/doc/gtkada/gtkada_rm/gtk-file_selection.ads.html
+share/doc/gtkada/gtkada_rm/gtk-fixed.ads.html
+share/doc/gtkada/gtkada_rm/gtk-font_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-font_selection.ads.html
+share/doc/gtkada/gtkada_rm/gtk-font_selection_dialog.ads.html
+share/doc/gtkada/gtkada_rm/gtk-frame.ads.html
+share/doc/gtkada/gtkada_rm/gtk-gamma_curve.ads.html
+share/doc/gtkada/gtkada_rm/gtk-gc.ads.html
+share/doc/gtkada/gtkada_rm/gtk-gentry.ads.html
+share/doc/gtkada/gtkada_rm/gtk-grange.ads.html
+share/doc/gtkada/gtkada_rm/gtk-handle_box.ads.html
+share/doc/gtkada/gtkada_rm/gtk-handlers.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-handlers.ads-3.html
+share/doc/gtkada/gtkada_rm/gtk-handlers.ads-4.html
+share/doc/gtkada/gtkada_rm/gtk-handlers.ads-5.html
+share/doc/gtkada/gtkada_rm/gtk-handlers.ads-6.html
+share/doc/gtkada/gtkada_rm/gtk-handlers.ads-7.html
+share/doc/gtkada/gtkada_rm/gtk-handlers.ads-8.html
+share/doc/gtkada/gtkada_rm/gtk-handlers.ads.html
+share/doc/gtkada/gtkada_rm/gtk-hbutton_box.ads.html
+share/doc/gtkada/gtkada_rm/gtk-icon_factory.ads.html
+share/doc/gtkada/gtkada_rm/gtk-icon_theme.ads.html
+share/doc/gtkada/gtkada_rm/gtk-icon_view.ads.html
+share/doc/gtkada/gtkada_rm/gtk-image.ads.html
+share/doc/gtkada/gtkada_rm/gtk-image_menu_item.ads.html
+share/doc/gtkada/gtkada_rm/gtk-input_dialog.ads.html
+share/doc/gtkada/gtkada_rm/gtk-invisible.ads.html
+share/doc/gtkada/gtkada_rm/gtk-item.ads.html
+share/doc/gtkada/gtkada_rm/gtk-item_factory.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-item_factory.ads.html
+share/doc/gtkada/gtkada_rm/gtk-label.ads.html
+share/doc/gtkada/gtkada_rm/gtk-layout.ads.html
+share/doc/gtkada/gtkada_rm/gtk-link_button.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-link_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-list.ads.html
+share/doc/gtkada/gtkada_rm/gtk-list_item.ads.html
+share/doc/gtkada/gtkada_rm/gtk-list_store.ads.html
+share/doc/gtkada/gtkada_rm/gtk-main.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-main.ads-3.html
+share/doc/gtkada/gtkada_rm/gtk-main.ads-4.html
+share/doc/gtkada/gtkada_rm/gtk-main.ads.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-10.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-11.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-12.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-13.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-14.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-15.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-16.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-17.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-18.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-19.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-3.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-4.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-5.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-6.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-7.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-8.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads-9.html
+share/doc/gtkada/gtkada_rm/gtk-marshallers.ads.html
+share/doc/gtkada/gtkada_rm/gtk-menu.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-menu.ads.html
+share/doc/gtkada/gtkada_rm/gtk-menu_bar.ads.html
+share/doc/gtkada/gtkada_rm/gtk-menu_item.ads.html
+share/doc/gtkada/gtkada_rm/gtk-menu_shell.ads.html
+share/doc/gtkada/gtkada_rm/gtk-menu_tool_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-message_dialog.ads.html
+share/doc/gtkada/gtkada_rm/gtk-misc.ads.html
+share/doc/gtkada/gtkada_rm/gtk-notebook.ads.html
+share/doc/gtkada/gtkada_rm/gtk-old_editable.ads.html
+share/doc/gtkada/gtkada_rm/gtk-option_menu.ads.html
+share/doc/gtkada/gtkada_rm/gtk-orientable.ads.html
+share/doc/gtkada/gtkada_rm/gtk-page_setup.ads.html
+share/doc/gtkada/gtkada_rm/gtk-paned.ads.html
+share/doc/gtkada/gtkada_rm/gtk-paper_size.ads.html
+share/doc/gtkada/gtkada_rm/gtk-pixmap.ads.html
+share/doc/gtkada/gtkada_rm/gtk-plug.ads.html
+share/doc/gtkada/gtkada_rm/gtk-preview.ads.html
+share/doc/gtkada/gtkada_rm/gtk-print_context.ads.html
+share/doc/gtkada/gtkada_rm/gtk-print_operation.ads.html
+share/doc/gtkada/gtkada_rm/gtk-print_operation_preview.ads.html
+share/doc/gtkada/gtkada_rm/gtk-print_settings.ads.html
+share/doc/gtkada/gtkada_rm/gtk-progress.ads.html
+share/doc/gtkada/gtkada_rm/gtk-progress_bar.ads.html
+share/doc/gtkada/gtkada_rm/gtk-radio_action.ads.html
+share/doc/gtkada/gtkada_rm/gtk-radio_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-radio_menu_item.ads.html
+share/doc/gtkada/gtkada_rm/gtk-radio_tool_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-rc.ads.html
+share/doc/gtkada/gtkada_rm/gtk-recent_action.ads.html
+share/doc/gtkada/gtkada_rm/gtk-recent_chooser.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-recent_chooser.ads.html
+share/doc/gtkada/gtkada_rm/gtk-recent_chooser_dialog.ads.html
+share/doc/gtkada/gtkada_rm/gtk-recent_chooser_widget.ads.html
+share/doc/gtkada/gtkada_rm/gtk-recent_filter.ads.html
+share/doc/gtkada/gtkada_rm/gtk-recent_manager.ads.html
+share/doc/gtkada/gtkada_rm/gtk-ruler.ads.html
+share/doc/gtkada/gtkada_rm/gtk-scale.ads.html
+share/doc/gtkada/gtkada_rm/gtk-scale_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-scrollbar.ads.html
+share/doc/gtkada/gtkada_rm/gtk-scrolled_window.ads.html
+share/doc/gtkada/gtkada_rm/gtk-selection.ads.html
+share/doc/gtkada/gtkada_rm/gtk-separator.ads.html
+share/doc/gtkada/gtkada_rm/gtk-separator_menu_item.ads.html
+share/doc/gtkada/gtkada_rm/gtk-separator_tool_item.ads.html
+share/doc/gtkada/gtkada_rm/gtk-settings.ads.html
+share/doc/gtkada/gtkada_rm/gtk-size_group.ads.html
+share/doc/gtkada/gtkada_rm/gtk-socket.ads.html
+share/doc/gtkada/gtkada_rm/gtk-spin_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-spinner.ads.html
+share/doc/gtkada/gtkada_rm/gtk-status_bar.ads.html
+share/doc/gtkada/gtkada_rm/gtk-status_icon.ads.html
+share/doc/gtkada/gtkada_rm/gtk-stock.ads.html
+share/doc/gtkada/gtkada_rm/gtk-style.ads.html
+share/doc/gtkada/gtkada_rm/gtk-table.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tearoff_menu_item.ads.html
+share/doc/gtkada/gtkada_rm/gtk-text.ads.html
+share/doc/gtkada/gtkada_rm/gtk-text_attributes.ads.html
+share/doc/gtkada/gtkada_rm/gtk-text_buffer.ads.html
+share/doc/gtkada/gtkada_rm/gtk-text_child.ads.html
+share/doc/gtkada/gtkada_rm/gtk-text_iter.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-text_iter.ads.html
+share/doc/gtkada/gtkada_rm/gtk-text_mark.ads.html
+share/doc/gtkada/gtkada_rm/gtk-text_tag.ads.html
+share/doc/gtkada/gtkada_rm/gtk-text_tag_table.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-text_tag_table.ads.html
+share/doc/gtkada/gtkada_rm/gtk-text_view.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tips_query.ads.html
+share/doc/gtkada/gtkada_rm/gtk-toggle_action.ads.html
+share/doc/gtkada/gtkada_rm/gtk-toggle_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-toggle_tool_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tool_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tool_item.ads.html
+share/doc/gtkada/gtkada_rm/gtk-toolbar.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tooltip.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tooltips.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tree_dnd.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tree_model-utils.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tree_model.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tree_model_filter.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-tree_model_filter.ads-3.html
+share/doc/gtkada/gtkada_rm/gtk-tree_model_filter.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tree_model_sort.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tree_selection.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-tree_selection.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tree_sortable.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-tree_sortable.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tree_store.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-tree_store.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tree_view.ads.html
+share/doc/gtkada/gtkada_rm/gtk-tree_view_column.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-tree_view_column.ads.html
+share/doc/gtkada/gtkada_rm/gtk-type_conversion.ads.html
+share/doc/gtkada/gtkada_rm/gtk-ui_manager.ads.html
+share/doc/gtkada/gtkada_rm/gtk-vbutton_box.ads.html
+share/doc/gtkada/gtkada_rm/gtk-viewport.ads.html
+share/doc/gtkada/gtkada_rm/gtk-volume_button.ads.html
+share/doc/gtkada/gtkada_rm/gtk-widget.ads-2.html
+share/doc/gtkada/gtkada_rm/gtk-widget.ads.html
+share/doc/gtkada/gtkada_rm/gtk-window.ads.html
+share/doc/gtkada/gtkada_rm/gtk.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-abstract_list_model.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-abstract_tree_model.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-bindings.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-builder.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-c.ads-2.html
+share/doc/gtkada/gtkada_rm/gtkada-c.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-canvas.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-dialogs.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-file_selection.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-handlers.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-intl.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-mdi.ads-2.html
+share/doc/gtkada/gtkada_rm/gtkada-mdi.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-multi_paned.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-pixmaps.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-printing.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-properties.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-style.ads.html
+share/doc/gtkada/gtkada_rm/gtkada-types.ads.html
+share/doc/gtkada/gtkada_rm/gtkada.ads.html
+share/doc/gtkada/gtkada_rm/index.html
+share/doc/gtkada/gtkada_rm/indexeA.html
+share/doc/gtkada/gtkada_rm/indexeB.html
+share/doc/gtkada/gtkada_rm/indexeC.html
+share/doc/gtkada/gtkada_rm/indexeD.html
+share/doc/gtkada/gtkada_rm/indexeE.html
+share/doc/gtkada/gtkada_rm/indexeF.html
+share/doc/gtkada/gtkada_rm/indexeG.html
+share/doc/gtkada/gtkada_rm/indexeH.html
+share/doc/gtkada/gtkada_rm/indexeI.html
+share/doc/gtkada/gtkada_rm/indexeJ.html
+share/doc/gtkada/gtkada_rm/indexeK.html
+share/doc/gtkada/gtkada_rm/indexeL.html
+share/doc/gtkada/gtkada_rm/indexeM.html
+share/doc/gtkada/gtkada_rm/indexeN.html
+share/doc/gtkada/gtkada_rm/indexeO.html
+share/doc/gtkada/gtkada_rm/indexeP.html
+share/doc/gtkada/gtkada_rm/indexeQ.html
+share/doc/gtkada/gtkada_rm/indexeR.html
+share/doc/gtkada/gtkada_rm/indexeS.html
+share/doc/gtkada/gtkada_rm/indexeT.html
+share/doc/gtkada/gtkada_rm/indexeU.html
+share/doc/gtkada/gtkada_rm/indexeV.html
+share/doc/gtkada/gtkada_rm/indexeW.html
+share/doc/gtkada/gtkada_rm/indexeX.html
+share/doc/gtkada/gtkada_rm/indexeY.html
+share/doc/gtkada/gtkada_rm/indexeZ.html
+share/doc/gtkada/gtkada_rm/indexeother.html
+share/doc/gtkada/gtkada_rm/indexfC.html
+share/doc/gtkada/gtkada_rm/indexfG.html
+share/doc/gtkada/gtkada_rm/indexfP.html
+share/doc/gtkada/gtkada_rm/indexsC.html
+share/doc/gtkada/gtkada_rm/indexsG.html
+share/doc/gtkada/gtkada_rm/indexsP.html
+share/doc/gtkada/gtkada_rm/pango-attributes.ads.html
+share/doc/gtkada/gtkada_rm/pango-cairo.ads.html
+share/doc/gtkada/gtkada_rm/pango-context.ads.html
+share/doc/gtkada/gtkada_rm/pango-enums.ads.html
+share/doc/gtkada/gtkada_rm/pango-font.ads.html
+share/doc/gtkada/gtkada_rm/pango-layout.ads.html
+share/doc/gtkada/gtkada_rm/pango-tabs.ads.html
+share/doc/gtkada/gtkada_rm/pango.ads.html
+share/doc/gtkada/gtkada_rm/screenshots/color-button.png
+share/doc/gtkada/gtkada_rm/screenshots/file-button.png
+share/doc/gtkada/gtkada_rm/screenshots/filechooser.png
+share/doc/gtkada/gtkada_rm/screenshots/font-button.png
+share/doc/gtkada/gtkada_rm/screenshots/font.jpg
+share/doc/gtkada/gtkada_rm/screenshots/gtk-accel_label.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-alignment.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-arrow.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-box.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-button.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-button_box.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-calendar.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-check_button.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-colorsel.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-combo.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-combo_box.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-combo_box_entry.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-dialog.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-file_selection.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-fixed.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-fontsel.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-frame.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-gamma.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-gentry.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-handle_box.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-image.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-label.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-layout.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-menu_bar.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-notebook.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-paned.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-plot.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-plot_3d.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-progress_bar.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-radio_button.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-range.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-rulers.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-scale.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-scrolled_window.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-separator.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-sheet.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-spin_button.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-status_bar.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-text_view.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-toggle_button.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-toolbar.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-tree_view.png
+share/doc/gtkada/gtkada_rm/screenshots/gtk-window.png
+share/doc/gtkada/gtkada_rm/screenshots/gtkada-canvas.png
+share/doc/gtkada/gtkada_rm/screenshots/icon-view.png
+share/doc/gtkada/gtkada_rm/screenshots/messagedialog.png
+share/doc/gtkada/gtkada_rm/screenshots.html
+share/doc/gtkada/gtkada_rm/src_cairo-font_face.ads.html
+share/doc/gtkada/gtkada_rm/src_cairo-font_options.ads.html
+share/doc/gtkada/gtkada_rm/src_cairo-image_surface.adb.html
+share/doc/gtkada/gtkada_rm/src_cairo-image_surface.ads.html
+share/doc/gtkada/gtkada_rm/src_cairo-matrix.ads.html
+share/doc/gtkada/gtkada_rm/src_cairo-pattern.ads.html
+share/doc/gtkada/gtkada_rm/src_cairo-pdf.adb.html
+share/doc/gtkada/gtkada_rm/src_cairo-pdf.ads.html
+share/doc/gtkada/gtkada_rm/src_cairo-png.adb.html
+share/doc/gtkada/gtkada_rm/src_cairo-png.ads.html
+share/doc/gtkada/gtkada_rm/src_cairo-region.adb.html
+share/doc/gtkada/gtkada_rm/src_cairo-region.ads.html
+share/doc/gtkada/gtkada_rm/src_cairo-scaled_font.ads.html
+share/doc/gtkada/gtkada_rm/src_cairo-surface.ads.html
+share/doc/gtkada/gtkada_rm/src_cairo-svg.adb.html
+share/doc/gtkada/gtkada_rm/src_cairo-svg.ads.html
+share/doc/gtkada/gtkada_rm/src_cairo.adb.html
+share/doc/gtkada/gtkada_rm/src_cairo.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-bitmap.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-bitmap.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-cairo.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-cairo.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-color.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-color.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-cursor.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-cursor.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-display.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-display.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-display_manager.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-display_manager.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-dnd.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-dnd.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-drawable.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-drawable.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-event.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-event.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-font.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-font.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-gc.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-gc.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-image.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-image.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-input.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-keyval.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-keyval.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-main.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-main.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-pixbuf.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-pixbuf.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-pixmap.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-pixmap.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-property.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-property.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-rectangle.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-rectangle.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-region.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-region.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-rgb.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-rgb.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-screen.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-screen.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-threads.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-types-keysyms.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-types.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-visual.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-visual.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-window.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-window.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk-window_attr.adb.html
+share/doc/gtkada/gtkada_rm/src_gdk-window_attr.ads.html
+share/doc/gtkada/gtkada_rm/src_gdk.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-convert.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-convert.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-enums.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-error.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-error.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-g_icon.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-g_icon.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-generic_properties.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-generic_properties.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-glist.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-glist.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-gnodes.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-gnodes.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-graphs.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-graphs.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-gslist.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-gslist.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-key_file.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-key_file.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-main.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-main.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-messages.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-messages.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-module.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-module.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-object.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-object.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-properties-creation.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-properties-creation.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-properties.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-properties.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-type_conversion_hooks.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-type_conversion_hooks.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-types.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-types.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-unicode.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-unicode.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-values.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-values.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-xml.adb.html
+share/doc/gtkada/gtkada_rm/src_glib-xml.ads.html
+share/doc/gtkada/gtkada_rm/src_glib-xml_int.ads.html
+share/doc/gtkada/gtkada_rm/src_glib.adb.html
+share/doc/gtkada/gtkada_rm/src_glib.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-about_dialog.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-about_dialog.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-accel_group.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-accel_group.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-accel_label.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-accel_label.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-accel_map.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-accel_map.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-action.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-action.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-action_group.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-action_group.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-activatable.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-activatable.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-adjustment.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-adjustment.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-alignment.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-alignment.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-arguments.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-arguments.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-arrow.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-arrow.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-aspect_frame.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-aspect_frame.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-assistant.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-assistant.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-bin.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-bin.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-bindings.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-bindings.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-box.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-box.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-buildable.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-buildable.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-builder.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-builder.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-button_box.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-button_box.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-calendar.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-calendar.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_editable.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_layout.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_layout.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer_accel.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer_accel.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer_combo.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer_combo.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer_pixbuf.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer_pixbuf.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer_progress.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer_progress.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer_spin.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer_spin.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer_text.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer_text.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer_toggle.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_renderer_toggle.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_view.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-cell_view.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-check_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-check_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-check_menu_item.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-check_menu_item.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-clipboard.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-clipboard.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-clist.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-clist.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-color_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-color_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-color_selection.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-color_selection.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-color_selection_dialog.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-color_selection_dialog.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-combo.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-combo.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-combo_box.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-combo_box.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-combo_box_entry.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-combo_box_entry.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-container.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-container.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-ctree.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-ctree.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-curve.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-curve.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-dialog.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-dialog.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-dnd.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-dnd.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-drawing_area.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-drawing_area.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-editable.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-editable.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-entry_completion.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-entry_completion.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-enums.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-enums.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-event_box.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-event_box.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-expander.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-expander.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-border_combo.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-border_combo.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-color_combo.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-color_combo.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-combo_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-combo_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-font_combo.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-font_combo.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-item_entry.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-item_entry.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_3d.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_3d.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_bar.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_bar.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_box.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_box.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_canvas-ellipse.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_canvas-ellipse.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_canvas-line.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_canvas-line.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_canvas-pixmap.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_canvas-pixmap.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_canvas-plot.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_canvas-plot.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_canvas-rectangle.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_canvas-rectangle.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_canvas-text.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_canvas-text.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_canvas.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_canvas.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_data.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_data.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_polar.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_polar.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_ps.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_ps.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_surface.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-plot_surface.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-sheet.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra-sheet.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-extra.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-file_chooser.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-file_chooser.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-file_chooser_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-file_chooser_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-file_chooser_dialog.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-file_chooser_dialog.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-file_chooser_widget.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-file_chooser_widget.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-file_filter.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-file_filter.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-file_selection.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-file_selection.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-fixed.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-fixed.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-font_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-font_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-font_selection.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-font_selection.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-font_selection_dialog.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-font_selection_dialog.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-frame.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-frame.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-gamma_curve.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-gamma_curve.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-gc.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-gentry.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-gentry.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-grange.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-grange.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-handle_box.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-handle_box.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-handlers.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-handlers.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-hbutton_box.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-hbutton_box.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-icon_factory.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-icon_factory.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-icon_theme.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-icon_theme.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-icon_view.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-icon_view.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-image.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-image.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-image_menu_item.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-image_menu_item.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-input_dialog.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-input_dialog.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-invisible.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-invisible.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-item.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-item.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-item_factory.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-item_factory.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-label.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-label.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-layout.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-layout.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-link_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-link_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-list.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-list.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-list_item.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-list_item.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-list_store.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-list_store.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-main.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-main.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-marshallers.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-marshallers.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-menu.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-menu.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-menu_bar.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-menu_bar.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-menu_item.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-menu_item.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-menu_shell.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-menu_shell.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-menu_tool_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-menu_tool_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-message_dialog.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-message_dialog.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-misc.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-misc.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-notebook.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-notebook.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-old_editable.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-old_editable.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-option_menu.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-option_menu.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-orientable.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-orientable.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-page_setup.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-page_setup.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-paned.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-paned.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-paper_size.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-paper_size.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-pixmap.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-pixmap.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-plug.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-plug.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-preview.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-preview.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-print_context.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-print_context.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-print_operation.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-print_operation.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-print_operation_preview.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-print_operation_preview.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-print_settings.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-print_settings.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-progress.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-progress.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-progress_bar.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-progress_bar.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-radio_action.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-radio_action.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-radio_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-radio_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-radio_menu_item.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-radio_menu_item.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-radio_tool_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-radio_tool_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-rc.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-rc.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-recent_action.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-recent_action.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-recent_chooser.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-recent_chooser.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-recent_chooser_dialog.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-recent_chooser_dialog.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-recent_chooser_widget.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-recent_chooser_widget.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-recent_filter.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-recent_filter.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-recent_manager.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-recent_manager.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-ruler.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-ruler.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-scale.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-scale.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-scale_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-scale_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-scrollbar.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-scrollbar.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-scrolled_window.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-scrolled_window.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-selection.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-selection.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-separator.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-separator.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-separator_menu_item.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-separator_menu_item.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-separator_tool_item.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-separator_tool_item.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-settings.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-settings.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-size_group.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-size_group.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-socket.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-socket.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-spin_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-spin_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-spinner.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-spinner.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-status_bar.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-status_bar.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-status_icon.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-status_icon.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-stock.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-stock.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-style.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-style.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-table.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-table.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tearoff_menu_item.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tearoff_menu_item.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-text.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-text.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_attributes.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_attributes.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_buffer.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_buffer.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_child.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_child.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_iter.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_iter.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_mark.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_mark.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_tag.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_tag.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_tag_table.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_tag_table.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_view.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-text_view.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tips_query.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tips_query.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-toggle_action.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-toggle_action.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-toggle_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-toggle_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-toggle_tool_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-toggle_tool_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tool_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tool_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tool_item.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tool_item.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-toolbar.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-toolbar.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tooltip.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tooltip.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tooltips.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tooltips.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_dnd.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_dnd.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_model-utils.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_model-utils.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_model.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_model.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_model_filter.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_model_filter.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_model_sort.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_model_sort.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_selection.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_selection.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_sortable.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_sortable.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_store.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_store.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_view.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_view.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_view_column.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-tree_view_column.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-type_conversion.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-type_conversion.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-ui_manager.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-ui_manager.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-vbutton_box.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-vbutton_box.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-viewport.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-viewport.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-volume_button.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-volume_button.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-widget.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-widget.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk-window.adb.html
+share/doc/gtkada/gtkada_rm/src_gtk-window.ads.html
+share/doc/gtkada/gtkada_rm/src_gtk.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-abstract_list_model.adb.html
+share/doc/gtkada/gtkada_rm/src_gtkada-abstract_list_model.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-abstract_tree_model.adb.html
+share/doc/gtkada/gtkada_rm/src_gtkada-abstract_tree_model.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-bindings.adb.html
+share/doc/gtkada/gtkada_rm/src_gtkada-bindings.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-builder.adb.html
+share/doc/gtkada/gtkada_rm/src_gtkada-builder.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-c.adb.html
+share/doc/gtkada/gtkada_rm/src_gtkada-c.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-canvas.adb.html
+share/doc/gtkada/gtkada_rm/src_gtkada-canvas.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-dialogs.adb.html
+share/doc/gtkada/gtkada_rm/src_gtkada-dialogs.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-file_selection.adb.html
+share/doc/gtkada/gtkada_rm/src_gtkada-file_selection.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-handlers.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-intl.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-mdi.adb.html
+share/doc/gtkada/gtkada_rm/src_gtkada-mdi.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-multi_paned.adb.html
+share/doc/gtkada/gtkada_rm/src_gtkada-multi_paned.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-pixmaps.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-printing.adb.html
+share/doc/gtkada/gtkada_rm/src_gtkada-printing.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-properties.adb.html
+share/doc/gtkada/gtkada_rm/src_gtkada-properties.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-style.adb.html
+share/doc/gtkada/gtkada_rm/src_gtkada-style.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada-types.adb.html
+share/doc/gtkada/gtkada_rm/src_gtkada-types.ads.html
+share/doc/gtkada/gtkada_rm/src_gtkada.ads.html
+share/doc/gtkada/gtkada_rm/src_pango-attributes.adb.html
+share/doc/gtkada/gtkada_rm/src_pango-attributes.ads.html
+share/doc/gtkada/gtkada_rm/src_pango-cairo.adb.html
+share/doc/gtkada/gtkada_rm/src_pango-cairo.ads.html
+share/doc/gtkada/gtkada_rm/src_pango-context.adb.html
+share/doc/gtkada/gtkada_rm/src_pango-context.ads.html
+share/doc/gtkada/gtkada_rm/src_pango-enums.adb.html
+share/doc/gtkada/gtkada_rm/src_pango-enums.ads.html
+share/doc/gtkada/gtkada_rm/src_pango-font.adb.html
+share/doc/gtkada/gtkada_rm/src_pango-font.ads.html
+share/doc/gtkada/gtkada_rm/src_pango-layout.adb.html
+share/doc/gtkada/gtkada_rm/src_pango-layout.ads.html
+share/doc/gtkada/gtkada_rm/src_pango-tabs.adb.html
+share/doc/gtkada/gtkada_rm/src_pango-tabs.ads.html
+share/doc/gtkada/gtkada_rm/src_pango.ads.html
+share/doc/gtkada/gtkada_rm/support/docgen.css
+share/doc/gtkada/gtkada_rm/support/docgen.js
+share/doc/gtkada/gtkada_rm/support/gtkada.css
+share/doc/gtkada/gtkada_rm/support/images/link.png
+share/doc/gtkada/gtkada_rm/support/images/menubar.png
+share/doc/gtkada/gtkada_rm/support/images/menubarbottom.png
+share/doc/gtkada/gtkada_rm/support/images/nav1_btn_mo.png
+share/doc/gtkada/gtkada_rm/support/images/nav1_btn_up.png
+share/doc/gtkada/gtkada_rm/support/images/nav2_btn_mo.png
+share/doc/gtkada/gtkada_rm/support/images/nav2_btn_up.png
+share/doc/gtkada/gtkada_rm/support/images/package-spec.png
+share/doc/gtkada/gtkada_rm/support/images/rightside.png
+share/doc/gtkada/gtkada_rm/support/images/rightsidebottom.png
+share/doc/gtkada/gtkada_rm/support/images/sidebarframe.png
+share/doc/gtkada/gtkada_rm/support/images/sidebarframebottom.png
+share/doc/gtkada/gtkada_rm/support/images/subprogram-spec.png
+share/doc/gtkada/gtkada_rm/support/images/tree_item.png
+share/doc/gtkada/gtkada_rm/support/images/tree_root.png
+share/doc/gtkada/gtkada_rm/support/images/treechildren_bg.png
+share/doc/gtkada/gtkada_rm/support/images/treechildren_bg_bottom.png
+share/doc/gtkada/gtkada_rm/support/images/type-spec.png
+share/doc/gtkada/gtkada_rm/support/images/variable-spec.png
+share/doc/gtkada/gtkada_rm/support/tags.css
+share/doc/gtkada/gtkada_rm/toc.html
+share/doc/gtkada/gtkada_rm/tree.html
share/doc/gtkada/gtkada_ug/boxes.gif
share/doc/gtkada/gtkada_ug/gfdl.texi
+share/doc/gtkada/gtkada_ug/gtkada_ug.info
+share/doc/gtkada/gtkada_ug/gtkada_ug.html
share/doc/gtkada/gtkada_ug/gtkada_ug.texi
+share/doc/gtkada/gtkada_ug/gtkada_ug.txt
share/doc/gtkada/gtkada_ug/hierarchy.jpg
share/doc/gtkada/gtkada_ug/hierarchy.txt
share/doc/gtkada/gtkada_ug/texinfo.tex
diff --git a/x11/gtkada/distinfo b/x11/gtkada/distinfo
index 36809649a4b..0381c623c74 100644
--- a/x11/gtkada/distinfo
+++ b/x11/gtkada/distinfo
@@ -1,18 +1,23 @@
-$NetBSD: distinfo,v 1.2 2011/02/10 10:43:41 drochner Exp $
+$NetBSD: distinfo,v 1.3 2011/10/14 14:02:17 marino Exp $
SHA1 (gtkada-2.22.tar.bz2) = 99cce5b7847b6c497aef8f388250034df462cfa6
RMD160 (gtkada-2.22.tar.bz2) = f12409882e31213eae2817309193025eec9bf20b
Size (gtkada-2.22.tar.bz2) = 2775194 bytes
+SHA1 (gtkada-rm-2.22.tar.bz2) = 43a8c966a243f7177fe2f29b288b44ff999cb634
+RMD160 (gtkada-rm-2.22.tar.bz2) = 455767367be496a42e87589902b7752d74303ec0
+Size (gtkada-rm-2.22.tar.bz2) = 3263320 bytes
SHA1 (patch-aa) = 341bac6befb2ba9647cd6820057630d417e47d42
SHA1 (patch-ab) = 420a0e809b1f7e82cd1b7212ed2840ade4def6c2
SHA1 (patch-ac) = e013efafab5f68ce282f9ce38577fa018c05ff00
SHA1 (patch-ad) = 09803810177e1e9ff0957773362f7cd44589665b
SHA1 (patch-ae) = 7ef44d33bda6c8deb126d8457f4b36415ff256a6
+SHA1 (patch-af) = ab8b28cfe1d04b51207aaf666e547732bbd3b03d
+SHA1 (patch-ag) = cbd147b8a193642b7d8e2b706b45c2002b8cdc99
+SHA1 (patch-ah) = 9539f2e735550ccedbc769bf66fe979f333e5851
SHA1 (patch-ba) = 73ee73eab7146e7fa6ed2bd0b143592c2ea41798
SHA1 (patch-bb) = 04e39a0283a6d7463685f0b51c0ebfddd32852af
SHA1 (patch-bc) = c655f9271ae2fb9d6ebed70ddb0cf7c4b37d7a55
SHA1 (patch-bd) = 20d46afcf551edf9a999ed9ee98672f5e8c03a4d
-SHA1 (patch-be) = b19bb1954959dbba7b7185d85e11d83d048b702d
-SHA1 (patch-bf) = d08c87fd4a92c4c06012d6314c00251ad0bd994f
+SHA1 (patch-bf) = 21414cb2d68b71fcd3f24e6318c7928fcd287418
SHA1 (patch-bg) = 4f182257953b52ed431782ade6b438e3fca60360
SHA1 (patch-bh) = 726f1a4e2d508fd4432f8186f78f5f5dee73fa20
diff --git a/x11/gtkada/patches/patch-af b/x11/gtkada/patches/patch-af
new file mode 100644
index 00000000000..9f44d459057
--- /dev/null
+++ b/x11/gtkada/patches/patch-af
@@ -0,0 +1,12 @@
+$NetBSD: patch-af,v 1.1 2011/10/14 14:02:17 marino Exp $
+
+--- Makefile.in.orig 2011-10-13 16:16:09.000000000 +0000
++++ Makefile.in
+@@ -16,6 +16,7 @@ all: src tests
+
+ src:
+ $(MAKE) -C $(src_dir)
++ $(MAKE) -C $(doc_dir)
+
+ tests: src
+ $(MAKE) -C $(testgtk_dir)
diff --git a/x11/gtkada/patches/patch-ag b/x11/gtkada/patches/patch-ag
new file mode 100644
index 00000000000..c3e97a3623b
--- /dev/null
+++ b/x11/gtkada/patches/patch-ag
@@ -0,0 +1,22 @@
+$NetBSD: patch-ag,v 1.1 2011/10/14 14:02:17 marino Exp $
+
+--- docs/Makefile.orig 2010-12-01 21:51:08.000000000 +0000
++++ docs/Makefile
+@@ -1,15 +1,13 @@
+ all::
+- ${MAKE} -C gtkada_rm
+ ${MAKE} -C gtkada_ug
+
+ install::
+- ${MAKE} -C gtkada_rm install
+ ${MAKE} -C gtkada_ug install
++ ${MAKE} -C gtkada_rm_pregen install
+
+ clean::
+- ${MAKE} -C gtkada_rm clean
+ ${MAKE} -C gtkada_ug clean
+
+ distclean::
+- ${MAKE} -C gtkada_rm distclean
+ ${MAKE} -C gtkada_ug distclean
++ ${MAKE} -c gtkada_rm_pregen install
diff --git a/x11/gtkada/patches/patch-ah b/x11/gtkada/patches/patch-ah
new file mode 100644
index 00000000000..0c5bb88fa6c
--- /dev/null
+++ b/x11/gtkada/patches/patch-ah
@@ -0,0 +1,22 @@
+$NetBSD: patch-ah,v 1.1 2011/10/14 14:02:17 marino Exp $
+
+--- configure.orig 2010-12-01 21:51:08.000000000 +0000
++++ configure
+@@ -3834,7 +3834,7 @@ echo "${ECHO_T}yes" >&6
+ EXEC_PREFIX="$prefix"
+
+
+- ac_config_files="$ac_config_files Makefile src/Makefile.common src/Makefile src/tools/gtkada-config src/tools/gate src/tools/Makefile testgtk/Makefile src/gtkextra/Makefile src/opengl/Makefile src/glade/Makefile src/gnome/Makefile docs/gtkada_ug/Makefile docs/gtkada_rm/Makefile po/Makefile src/config.h projects/gtkada.pc projects/gtkada_install_dynamic.gpr projects/gtkada_install_dynamic_gl.gpr"
++ ac_config_files="$ac_config_files Makefile src/Makefile.common src/Makefile src/tools/gtkada-config src/tools/gate src/tools/Makefile testgtk/Makefile src/gtkextra/Makefile src/opengl/Makefile src/glade/Makefile src/gnome/Makefile docs/gtkada_ug/Makefile docs/gtkada_rm_pregen/Makefile po/Makefile src/config.h projects/gtkada.pc projects/gtkada_install_dynamic.gpr projects/gtkada_install_dynamic_gl.gpr"
+ cat >confcache <<\_ACEOF
+ # This file is a shell script that caches the results of configure
+ # tests run on this system so they can be shared between configure
+@@ -4397,7 +4397,7 @@ do
+ "src/glade/Makefile" ) CONFIG_FILES="$CONFIG_FILES src/glade/Makefile" ;;
+ "src/gnome/Makefile" ) CONFIG_FILES="$CONFIG_FILES src/gnome/Makefile" ;;
+ "docs/gtkada_ug/Makefile" ) CONFIG_FILES="$CONFIG_FILES docs/gtkada_ug/Makefile" ;;
+- "docs/gtkada_rm/Makefile" ) CONFIG_FILES="$CONFIG_FILES docs/gtkada_rm/Makefile" ;;
++ "docs/gtkada_rm_pregen/Makefile" ) CONFIG_FILES="$CONFIG_FILES docs/gtkada_rmi_pregen/Makefile" ;;
+ "po/Makefile" ) CONFIG_FILES="$CONFIG_FILES po/Makefile" ;;
+ "src/config.h" ) CONFIG_FILES="$CONFIG_FILES src/config.h" ;;
+ "projects/gtkada.pc" ) CONFIG_FILES="$CONFIG_FILES projects/gtkada.pc" ;;
diff --git a/x11/gtkada/patches/patch-be b/x11/gtkada/patches/patch-be
deleted file mode 100644
index 63caa21521d..00000000000
--- a/x11/gtkada/patches/patch-be
+++ /dev/null
@@ -1,17 +0,0 @@
-$NetBSD: patch-be,v 1.1.1.1 2011/02/03 18:57:15 drochner Exp $
-
---- docs/gtkada_rm/Makefile.in.orig 2011-02-02 18:46:10.000000000 +0000
-+++ docs/gtkada_rm/Makefile.in
-@@ -20,10 +20,10 @@ docgen_clean:
- $(RM) -rf log.txt doc_obj/*
-
- install:
-- -$(MKDIR) $(docdir)
-+ -$(MKDIR) $(DESTDIR)$(docdir)
- -for i in gtkada_rm/*; \
- do \
-- $(INSTALL_DATA) $$i $(docdir); \
-+ $(INSTALL_DATA) $$i $(DESTDIR)$(docdir); \
- done
-
- clean: docgen_clean
diff --git a/x11/gtkada/patches/patch-bf b/x11/gtkada/patches/patch-bf
index 0b26996e0d2..643f1572bfc 100644
--- a/x11/gtkada/patches/patch-bf
+++ b/x11/gtkada/patches/patch-bf
@@ -1,8 +1,19 @@
-$NetBSD: patch-bf,v 1.1.1.1 2011/02/03 18:57:15 drochner Exp $
+$NetBSD: patch-bf,v 1.2 2011/10/14 14:02:17 marino Exp $
---- docs/gtkada_ug/Makefile.in.orig 2011-02-02 18:47:06.000000000 +0000
+--- docs/gtkada_ug/Makefile.in.orig 2010-12-01 21:51:07.000000000 +0000
+++ docs/gtkada_ug/Makefile.in
-@@ -17,10 +17,10 @@ all: gtkada_ug.texi gfdl.texi
+@@ -6,21 +6,16 @@ INSTALL = @INSTALL@
+ INSTALL_DATA = @INSTALL_DATA@
+
+ all: gtkada_ug.texi gfdl.texi
+- echo x | tex gtkada_ug.texi
+- texindex gtkada_ug.cp
+- tex gtkada_ug.texi
+- tex gtkada_ug.texi
+- dvips gtkada_ug.dvi -o gtkada_ug.ps
+ perl ../texi2html -menu -monolithic gtkada_ug.texi
+ makeinfo --force -o gtkada_ug.info gtkada_ug.texi
+ makeinfo --force --no-headers --no-split -o gtkada_ug.txt gtkada_ug.texi
-$(RM) *.aux *.cp *.cps *.dvi *.fn *.ky *.log *.pg *.toc *.tp *.vr
install: